const port2_getterinfo: JSJitInfo;