Function assert_err