MicroHs-0.8/tests/Misc.ref