:b foo
foo
:p foo
whnf _t1