The Disambiguator: Learning about Operating Systems