TO_PAT: in case you blithely uncomment code