Unexpected crash with mif and cto functions

[ChengCat]

The following program will crash, but it works fine if I remove (attr cto).

(import cstdio)
(def f (fn (attr cto) intern bool (void)
  true))
(def main (fn extern-c int (void)
  (printf "%d\n" (mif (f) 1 2))))

[tomhrr]

Thanks for this, the problem has now been fixed.