*** CDR  0.004s--> 
Input: \f -> f "" == "" && (f "1" == "") && (f "12" == "2") && (f "123" == "23")