Code below works:
include std/convert.e sequence s = int_to_bits(177, 8) ? s -- s is {1,0,0,0,1,1,0,1} -- "reverse" order