const port1_getterinfo: JSJitInfo;