val source_archi_of_filename: 
  root:Common.dirname ->
  Common.filename -> Archi_code.source_archi