// (( zeitak reports that this is correct but is that actually true when this is
// java? :-) )
public static void main(String[] args)
{
}