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