/bitmask_operators.cc/1.1/Tue Nov  2 19:00:18 2004//Tgcc-4_0-branch
/case_label.cc/1.1/Tue Nov  2 19:00:18 2004//Tgcc-4_0-branch
D
