fails:StringScanner#restsize warns in verbose mode that the method is obsolete
