Etiket: equivalence partitioning code