using System;

class X {
  static Main () :  void
  {
    mutable  foo = null :  array [int];
    Array.Resize (ref foo, 10);
  }
}
/*
BEGIN-OUTPUT
END-OUTPUT
*/