# Module `Ot_size`