// BAD: this should have a header guard

extern int tolower(int c);