function CLK_TCK : __clock_t;
  begin
     CLK_TCK:=__clock_t(__sysconf(2));
  end;
syntax highlighted by Code2HTML, v. 0.9.1