Symbol: verify_assert_print_msg