Update 20081c3.cc

format the code, add ...