proc foo[T](thing: T) =
    discard thing

var a: proc (thing: int) {.nimcall.} = foo[int]