var __IDRRT__print = function(s) {
  console.log(s);
};