Aut2017Proto2016SummitC