erase_source is not used any longer: source is packaed with code.
remove dead code.
put mod_scan back.
fix bad call to use_module.
get rid of write_depth
fix at_end_of_line.
fix beautified recorded.