A HardCaml implementation of Thackers Tiny Computer 3