//!semantic
begin
  var a: array of integer;
  a.Min(p -> p{@parameter p: integer;@}[0]);
end.