const session_getterinfo: JSJitInfo;