Added c to concrete syntax.