lie about C types