let
tau_of_mem = t_mbits