contract_type_count
total += contract_type_count(ct_types[i]);
contract_type_count(ct_types[gfs_file_index(vp)]);
int contract_type_count(ct_type_t *);