The Austin Protocol Compiler