stateValue_unparseValue (stateValue p_s, metaStateInfo p_msinfo) /*@*/ ;
extern cstring stateValue_unparse (stateValue p_s) /*@*/ ;
extern bool stateValue_sameValue (stateValue p_s1, stateValue p_s2) /*@*/ ;
stateValue_unparseValue (stateValue p_s, metaStateInfo p_msinfo) /*@*/ ;
extern cstring stateValue_unparse (stateValue p_s) /*@*/ ;
extern bool stateValue_sameValue (stateValue p_s1, stateValue p_s2) /*@*/ ;