#include "civic.h"

export int main() {
    return 0;
}