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