stoca ¶Sometimes we want to store strings in character arrays. The standard
function stoca provides the following interface:
fun stoca = (string s, uint<8>[] ca = uint<8>[](), uint<8> fill = 0) uint<8>[]: { ... }
If ca has zero length (for example, if the parameter is
omitted), the function returns an array with the contents of the
string s, excluding the terminating NULL. Otherwise, it fills
the given array ca with the contents of the string s. If
the string doesn’t fit in the array, then E_out_of_bounds is
raised. If the length of the string is less than the length of the
array, the extra characters are set to the fill character, which
defaults to \0. The array ca is also returned.