litmus: arrays in presi mode.