Is there a quick way to disable the GC? Ideally, a command-line argument to the "mzschemecgc" executable?
![[logo]](/logo.png){kind=logo}