proc walk#[T](value: T; step: ^T)
begin
  step := step + 1;
  value := value + 1 (* @Error Type parameter 'T' cannot be used in pointer arithmetic *)
return

program()
begin
return 0u8

end.