Implement BC compiler.