brun -n -c '(softfork (q . (1 2)))'
FAIL: softfork requires int args (1 2)
