package object t5031 {
  type ID = Int
}