auto: get end-to-end compilation implemented
auto: add test (that fails) exercising a bad case