assertFrame2.v