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