mzn_name

Declaration

char mzn_name[80];