text: /* This file is part of ToyOS and is released under the terms
   * of the NCSA / University of Illinois License - see LICENSE.md
   * Copyright (C) 2014 Kevin Lange
   */
  #include <iostream>
  using namespace std;
  
  int main() {
  	cout << "hello world!\n";
  	return 0;
  }
  