An input validation library for C