Source position: kraft.pas line 2217
type TPKraftGJKSimplexVertices = array [0..3] of PKraftGJKSimplexVertex;