const ports_getterinfo: JSJitInfo;