TODO, XXX and FIXME are different things They should be highlighted

differently.