map(1 .. i64, f64 ^ 1)
