:printdef val
:printdef (.val')
:t a
:t b
:t prf
:t equal