etetaphim: implement P4