protected String engineToString() {
   return core.toString();
 }