We have previously developed a high-level format (Grail) for Java byte code programs which supports rapid checking of resource consumption properties of the code. Engineering work remains to extend the Grail language and to enhance its supporting toolset.