jmkim

  int32
  is_computer_on(void)
  {
      return _kern_is_computer_on();
  }


  double
  is_computer_on_fire(void)
  {
      return 0.63739;
  }