function h$rts_isThreaded() {
  return 0;
}
  
function h$rts_isTracing() {
  return 0;
}

function h$rts_isDynamic() {
  return 0;
}

function h$rts_isDebugged() {
  return 0;
}

function h$rts_isProfiled() {
  return 0;
}

  