text: //          Copyright Boston University SESA Group 2013 - 2014.
  // Distributed under the Boost Software License, Version 1.0.
  //    (See accompanying file LICENSE_1_0.txt or copy at
  //          http://www.boost.org/LICENSE_1_0.txt)
  #ifndef APPS_HELLOWORLD_STATICEBBIDS_H_
  #define APPS_HELLOWORLD_STATICEBBIDS_H_
  
  #include <ebbrt/StaticIds.h>
  
  enum : ebbrt::EbbId { kPrinterEbbId = ebbrt::kFirstStaticUserId };
  
  #endif  // APPS_HELLOWORLD_STATICEBBIDS_H_
  