proc `$`(x: Any): string {.noSideEffect, gcSafe, ...raises: [Exception],
                           tags: [RootEffect], forbids: [].}