Ivory is not for print statements. Ivory is for designing and implementing high-reliability/safety-critical/hard-real-time firmwares. Combined with their Tower project, and other support projects, it's used to build https://smaccmpilot.org/ -- a high-assurance, partially formally verified, autopilot system.