Semaphore = object
  id: int
  lock: Lock
  count: int
  cond: Cond

proc id(s: Semaphore): int {....raises: [], tags: [].}

proc hash(s: Semaphore): Hash {....raises: [], tags: [].}

proc `==`(a, b: Semaphore): bool {....raises: [], tags: [].}

proc `<`(a, b: Semaphore): bool {....raises: [], tags: [].}

proc init(s: var Semaphore; id: int) {....raises: [], tags: [].}

proc `=destroy`(s: var Semaphore) {....raises: [], tags: [].}

proc signal(s: var Semaphore) {....raises: [], tags: [].}

proc wait(s: var Semaphore) {....raises: [], tags: [].}

proc isReady(s: var Semaphore): bool {....raises: [], tags: [].}

template withReady(s: var Semaphore; body: untyped): untyped