(procedure 
    (name 'add') (type T_I32) 
    (src-file:line 1)
    (arguments 
        ((name 'arg1') (type T_I16))
        ((name 'arg1') (type T_I16))
    )
    (body 
        (return (add 'arg1' 'arg2') (src-file:line 3))
    )
)
