let
sizeof ~atomic te =
if
atomic
then
a_sizeof te
else
e_sizeof te