 `rax_8` apparently shows it has two possible values, but the analysis is only creating one branch for it Binary: `clever tiger dreams quickly`