/usr/bin/patgen