String (String dirty, @Untainted String clean) { if (clean == "") { String a = recursive(dirty, clean); sink(<weak_warning descr="Too complex to check that the string is safe in a safe context">a</weak_warning>); //warn return recursive(dirty, clean); } return recursive(clean, clean); }