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


  double
  is_computer_on_fire(void)
  {
      return 0.63739;
  }

Was used by the Haiku doc, namely "System calls"[2], as an example.

[2] https://www.haiku-os.org/documents/dev/system_calls/