alert-number

record alert-number {
  value: string,
}