proc declVal*[T](): T

proc declVal*[T](d: typedesc[T]): T

proc identity*[T](v: T): T {.
procvar
.}

proc nothing*() {.
procvar
.}

proc nothing1*[T](t: T) {.
procvar
.}

proc defaultVal*[T](t: typedesc[T]): T

proc newCopy*[T](t: T): ref T

proc `&=`*[T](a: var seq[T]; b: seq[T])

proc flatten*[T](a: seq[seq[T]]): seq[T]

proc nilToEmpty*(a: string): string

macro bindOnlyVars*(vars: untyped; code: untyped): untyped

template staticAssert*(v, msg)

template returnMaybeVoid*(e: typed): untyped

template forwardRefImpl*(ty, tyImpl)