Everything still works if you unconditionally modulo by any multiple of 9 between 18 and 0xffff, but that's very expensive.