ivory produces C99 code