procedure Foo (Arg_1 : Integer; Arg_2 : Float := 0.0);