The libi0 library for c0 program