sig
  type ordered_stmt = int
  type 'a ordered_stmt_array = 'a array
  type ordered_to_stmt = Cil_types.stmt Ordered_stmt.ordered_stmt_array
  type stmt_to_ordered
  val to_ordered :
    Ordered_stmt.stmt_to_ordered ->
    Cil_types.stmt -> Ordered_stmt.ordered_stmt
  val to_stmt :
    Ordered_stmt.ordered_to_stmt ->
    Ordered_stmt.ordered_stmt -> Cil_types.stmt
  val get_conversion_tables :
    Cil_types.kernel_function ->
    Ordered_stmt.stmt_to_ordered * Ordered_stmt.ordered_to_stmt *
    int Ordered_stmt.ordered_stmt_array
end