comment for dumpcodesign.rb