let find_out_ret sgn = match sgn.out_ret with
    | Some i -> i
    | None -> raise Not_found