#line 28 "/home/travis/build/felix-lang/felix/src/packages/driver.fdoc"
int felix_run(int, char**);
int felix_arun(int, char**);