[
   {
      "entry_point" : "bb.push_pop",
      "slots" : [
         {
            "return_value" : "Maybe",
            "slot" : "rax"
         },
         {
            "argument" : "Maybe",
            "slot" : "rdx"
         }
      ]
   }
]