Notes on source of interesting CRT functions in OpenBSD