# if doxy == 1
# # should be included in the example code
# ## See the above comment.
# ## buf.push($_.gsub!(/\*\//, " ").gsub!(/\/\*/, "//"))
# buf.push($_) # should be included in the example code
# else
# if doxy == 1
# # should be included in the example code
# ## See the above comment.
# ## buf.push($_.gsub!(/\*\//, " ").gsub!(/\/\*/, "//"))
# buf.push($_) # should be included in the example code
# else