Tagged c-programming