After verification that everything compiles