function times2(x : int) =
    x * 2;

function times2_array(arr : int[]) =
    mapseq(times2, arr);

times2_array([1, 2, 3, 4])