resource print_array()
   var a[1:10] : int
#  read(a); write(a)         # does not compile

   var b : string[10]        # works fine (drops extra input)
   var c[1:10] : char        # works fine (drops extra input)
   read(b); printf("%s", b); write(b)
   read(c); printf("%s", c); write(c)
end print_array

/* ............... Example compile and run(s)

% sr -o print_array print_array.sr
% ./print_array
abcd
abcdabcd
efgh
efgh      efgh      
% ./print_array
abcdefghijklmnopqrstuvwxyz
abcdefghijabcdefghij
klmnopqrstklmnopqrst
                                              */