add empty statements after labels to get rid of gcc errors
add empty statements after labels to get rid of gcc errors

darcs-hash:e5f649838131a727e65b5956390c77bfc2cd0517

dpwright/jhc,dpwright/jhc,dpwright/jhc,dpwright/jhc