Avrora fans: For monitoring, the file AvroraPrint.h contains various macro definitions, e.g. printInt16, printHex32, etc. Is it an easy extension to add 64-bit print capability, as in printHex64? I looked at the C source here, but it looks as if there is a modification required in the Java simulator. Thanks, --bsp