pdef-compiler