use system gecode