Better commenting gen_patt.py