let
no_pretty _ _ = ()