Goal:
  
  ============================
   (list Byte.byte)


DEBUG:Going to execute:
let ls :=
            eval compute in
            (flat_map
               (fun v =>
                match Byte.of_nat v with
                | Some v => [v]
                | None => []
                end) (seq 0 256))
           in
           exact
           ls