Yes, `intc` is per definition the C type `int`.