Preelaborable generic body: question

[adam@irvine.com (Adam Beneschan)]

In this example:

generic
   x1: integer;
package pak2 is
   pragma Preelaborate;
   pragma Elaborate_Body;
end pak2;

package body pak2 is
   x2: integer := x1;
end pak2;

My reading is that 10.2.1(10) makes this illegal, because it's
possible to instantiate pak2 with an actual for "x1" that would cause
the declaration of x2 to perform an action that 10.2.1(6-7) makes
nonpreelaborable.  (You could instantiate pak2 with an actual that
contains a function call or the name of an object, e.g.)

Is my reading correct?

                                   -- thanks, Adam