Source position: matrix.pp line 111
constructor Tvector3_extended.init(
a: extended;
b: extended;
c: extended
);