:- module(_, [main/0], []).

:- use_module(library(gen_asr_file)).
:- use_module(ciaosh).
:- ensure_loaded('ciao-shell').

:- redefining(main/0).

main.
