tcase (Int -> Int)
tcase Type
:q
