:set showimplicits
:t comp
:t comp2
:q
