defer_skip(state_vector#x:construct-state-vector) .