short-name

record short-name {
  value: string,
}