marking-state.cc 620 Bytes