:load T10321
:t 3 :> 4 :> 5 :> Nil