let
parse_bigstring = parse_bigstring_annot