const open_getterinfo: JSJitInfo;