Symbol: vhci_prout_t