with Remote_Global;
use Remote_Global;
package body Proc_Package_12 is -- compare to P00000
    procedure Proc_0 (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10 : in My_Record) is
    begin
        Global := Global + A1.R1 + A2.R2 + A3.R3 - A4.R1 - A5.R2 -
                     A6.R3 + A7.R1 + A8.R2 - A9.R3 + A10.R1;
        Remote;
    end Proc_0;
end Proc_Package_12;