assertFrame3.v