def a: [1, 2, 3];
def b: [4, 5, 6];
[$a..., $b...] -> !OUT::write