const alt_getterinfo: JSJitInfo;