let parse_bigstring = parse_bigstring_annot