let
dec_code c1 c2 c3 =
100 * (
Char
.code c1 - 48) + 10 * (
Char
.code c2 - 48) + (
Char
.code c3 - 48)