const enabled_getterinfo: JSJitInfo;