modified test/not.p4d