microwatt/tests/612.bin