(module FileStringExt)