Probably in subset of LLVM syntax, so that we could also feed it into LLVM and generate binary for comparison purposes.