const port_getterinfo: JSJitInfo;