dn_got_write_colon
dn_state = dn_got_write_colon;
dn_state = dn_got_write_colon;
dn_state = dn_got_write_colon;
dn_state = dn_got_write_colon;
dn_state = dn_got_write_colon;
dn_state = dn_got_write_colon;
case dn_got_write_colon: