Parameterized states and byte sizes