This directory contains some counter automata base abstractions of standards
C functions, and other marcros.


