text: /**
   * Copyright (c) 2021, Conor Mika
   * All rights reserved.
   * This source code is licensed under the BSD-style license found in the
   * LICENSE file in the root directory of this source tree. 
   */
  
  int os_main();