(proc (name 'add') (src-file:line 1)
    (arg 
        ('
            (_ (name 'arg1') (type int:16))
            (_ (name 'arg2') (type int:16))
        )
    ) 
    (ret 
        int
    )
    (_
        (return (add :arg1 :arg2) (src-file:line 3))
    )
)
