" abc".stripLeading()