Check two items of defined behaviour - that you can initialise a gpio_t with NC, and you can detect that state with gpio_is_connected().