Implement conversion to bytecode