D2oReader by CoqLaKoUR