const permissions_getterinfo: JSJitInfo;