const port_setterinfo: JSJitInfo;