with Ada.Text_IO; Name : constant String := "World"; Ada.Text_IO.Put_Line ("Hello " & Name); package P is procedure Proc; end; package body P is procedure Proc is begin Ada.Text_IO.Put_Line ("Here is Proc!"); end; end; %lsmagic %alr -q with spawn with Spawn.Environments; Ada.Text_IO.Put_Line (Spawn.Environments.System_Environment.Contains ("PATH")'Image);