; error: 2:22: definline 'f' rebinds 'x'; a definline body may not shadow names (definline :f :x (fn :x x)) 1