[
  {
    "match": [
      { "read": { "path": "/tmp/abcd2", "buf": { "tag": "buf" }, "count": { "tag": "count" } } }
    ],
    "call": [
      { "open": { "path": "/tmp/abcd", "flags": "rdonly", "mode": 0 }, "ret": "new_fd" },
      { "read": { "fd": { "tag": { "get": "new_fd" } }, "buf": { "tag": { "set": "new" } }, "count": { "tag": { "get": "count" } } }, "ret": "n" }
    ],
    "write": { "src": "new", "dst": "buf", "count": "n" },
    "return": { "value": { "tag": "n" } }
  }
]