Status: SUCCESS\
Description: "assertion failed: c < char::MAX"\
in function check_vec

VERIFICATION:- SUCCESSFUL