test-convert-p4.t #1