test-convert-p4-filetypes.t #1