; assembly                       | /* r2dec pseudo code output */
                                     | /* balber_berdecoder.t/assume @ 0x46ebf0 */
                                     | #include <stdint.h>
                                     |  
    ; (fcn) sym.foo_int_ ()          | void foo_int_ (void) {
                                     |     /* foo(int*) */
    0x0046ebf0 ret                   |     
                                     | }