:- ale_flag(mgsat,_,offline).
:- ale_flag(subtypecover,_,off).
:- ale_flag(warnings,_,off).

:- [berlin_glb_free].

:- compile(msl_hack).
:- compile(gen4).