{
  "type": "a",
  "a": 42
}