1-- Taken from #2943 submitted by @koenmeersman 2with Ada.Text_IO; 3 4separate (Buffer); 5 6package body Test is 7 procedure Inner is separate; 8begin 9 null; 10end Test; 11 12