ser_st_name
ser_st_name(ser), ser_ev_name(ser, evt));
ser_st_name(ser), ser->st_tbl[new_state].name);