[SR-Users] Re: topoh: th_mask_decode (th_mask_encode (x)) ≠ x