const onpause_setterinfo: JSJitInfo;