(library
  (name mirage_random)
  (public_name mirage-random)
  (libraries cstruct))
