removed some print()s. Works (with ARM @ 700 MHz.. maybe flaky at 800 MHz ?)