Compilation principle experiment decaf_PA4