See `ob_code_generator.h' for the interface of this module.