futhark-0.7.3: rts/csharp/functions.cs