const onpause_getterinfo: JSJitInfo;