microwatt/tests/577.bin