ivory-0.1.0.6: Safe embedded C programming.