Module ConventionsC

Require Import CoqlibC.
Require Import ASTC.
Require Import LocationsC.
Require Export Conventions1.
Require Export Conventions.

Global Instance main_args_some: main_args_ctx := { main_args := true }.