28
to the required format, which is an array of 0s, 1s, 2s, etc.
29
For example, "0000011111000" is converted to {0,0,0,0,0,1,1,1,1,1,0,0,0}
27
41
/* Check if a string is translated as expected. Return 0 if the
28
42
translation is as expected and 1 otherwise. */