assertQuiescent1.v