These currently print GPRs, and print SIMD registers as s16, and prints generic memory addresses as s16 vectors.