Free_monoid loading ...