[
   {
      "entry_point" : "bb.callee",
      "slots" : [
         {
            "return_value" : "YesOrDead",
            "slot" : "rax"
         }
      ]
   },
   {
      "entry_point" : "bb.urvofc",
      "function_calls" : [
         {
            "caller" : "bb.urvofc:9",
            "slots" : [
               {
                  "return_value" : "Yes",
                  "slot" : "rax"
               }
            ]
         }
      ]
   }
]