ATerm libraries in C
