static double vmUptime() {
  ret elapsedSeconds_sysNow(vmStartTime_sys());
}