p4tagl.cc #1