{
  "relations": [],
  "transfer": {
    "src": "main",
    "dst": "ConcreteState",
    "data": { "type": "String", "name": "data" },
    "style": "PUSH",
    "multiplicity": "1:1"
  }
}