const white_space_setterinfo: JSJitInfo;