litmus: 1. handle type declarations in init for register locations. 2. hexa output in test pretty printing.