CONST
  tmc$infinite_wait = 0ffffffffffff(16);
