SMS: C annotated standard