(*Generated by Lem from scratch.lem.*)
open Byte_sequence
open Error
open Missing_pervasives

open Endianness
open Show

open Elf_file
open Elf_header
open Elf_note
open Elf_section_header_table

open Gnu_ext_note

let ( _:unit) =  
(let res =    
(Byte_sequence.acquire "/usr/bin/less" >>= (fun bs0 ->
    Elf_file.read_elf32_file bs0 >>= (fun ef1 ->
    let endian = (get_elf32_header_endianness ef1.elf32_file_header) in
    Elf_file.get_elf32_file_section_header_string_table ef1 >>= (fun sect_hdr ->
    return (gnu_ext_extract_elf32_earliest_compatible_kernel endian ef1.elf32_file_section_header_table sect_hdr bs0)))))
  in
    (match res with
      | Fail err  -> print_endline err
      | Success s -> print_endline (string_of_error 
  instance_Show_Show_string_dict s)
    ))