pub fn m_assert(a: &str, v: &PartialValue) -> Modify