let
gunzip gz ~(var_count : int) = function_call
"gunzip"
[
"input"
, gz ~var_count]