Try to make length of bytes ghost - concrete for machine integer length variants
Try to make length of bytes ghost - concrete for machine integer length variants

A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar