Problem Eliminating constructors

[porton@ex-code.com (Victor Porton)]

package A is

  type A_Type is tagged
    record
      X: Integer;
    end;
    
  function Create(X: Integer) return A_Type; -- guess what is the body
  
end A;

Then I have

type B_Type is new A.A_Type with
  record
    Y: Integer;
  end;

Compiler requires me to override Create as the return type changes.
But it is meaningless as now I need Create with two parameters
instead of one.

What to do?

Maybe there are a wau to make "function Create(X: Integer) return 
A_Type" not a primitive operation so that compiler will not more
request to override it?

Or maybe just move declaration of this func out of package A?