{
  "type": "record",
  "name": "User",
  "fields": [ {
    "name": "m_f64",
    "type": {
      "type": "record",
      "name": "Inner",
      "fields": [ {
        "name": "a",
        "type": "boolean"
      } ]
    },
    "default": { "a": true }
  } ]
}