Source position: kraft.pas line 2434
type TKraftContactPairHashTable = array [0..(1shl16)-1] of TKraftContactPairHashTableBucket;