microwatt/tests/677.bin