Source position: objpash.inc line 632
public property TMonitor.DefaultSpinCount : LongInt read GetDefaultSpinCount write SetDefaultSpinCount;