PROCEDURE Func_Name IS

   Int : Integer;

   function Do_Something (A : Integer; B : Integer; C : Integer) return Integer
   is (3);

   procedure Do_Some is null;
BEGIN
   Int := Do_Something (A => 1, B => 2, C => 3);
   Int := Do_S
   --% list(node.p_complete)
END Func_Name;
