__IDRRT__.print = function(s) {
  console.log(s);
};