Source position: matrix.pp line 390
operator operator *(
const x: Tvector4_double;
const y: Tvector4_double
):Tvector4_double;