https://sastrawacana.id/2024/04/22/a-certain-programming-language-uses-4-bit-binary-sequences-to-represent-nonnegative-integers/