% module
:-style_check(-singleton),style_check(-no_effect),ensure_loaded("core3").
% main
false(X):-!,false.