private static void wordToAscii(int val, StringBuilder buf) {
		for (int i = 28; i >= 0; i -= 4) {
			final int nibble = (val >> i) & 0xf;
			if (nibble < 10) {
				buf.append((char) (nibble + '0'));
			}
			else {
				buf.append((char) (nibble - 10 + 'a'));
			}
		}
	}
Convert a 32-bit integer to hexadecimal ascii representation
@param val is the integer to encode
@param buf accumulates the resulting ascii
Ghidra/Features/BSim/src/main/java/ghidra/features/bsim/query/description/ExecutableRecord.java