A C library for fault injection