:t (3 : Nat)
:cd ..
:load expected
:log with