auto_pat.ml 926 Bytes