Small portable regex in C (cbmc verified, and extended) - View it on GitHub