Now fails at C compilation