/lpc2xxx_wallclock.cxx/1.1/Sat Jul 12 15:54:31 2008//
D
