(library
 (name TopLevel)
 (public_name toytt.toplevel)
 (libraries
  yuujinchou
  toytt.ident
  toytt.nbe))