const max_getterinfo: JSJitInfo;