CM maintains the HST, which is passed to, but not modified by,
@compile@. If compilation of a module is successful, @compile@
CM maintains the HST, which is passed to, but not modified by,
@compile@. If compilation of a module is successful, @compile@