%include polycode.fmt
%options ghci

\eval{1}

> x = 2