<?hh
// Copyright 2004-2015 Facebook. All Rights Reserved.

class c {
  private static $thing;
  private static $otherthing;

  public static function doit($id, $value) {
    self::$thing[(string)$id] = $value;
    self::$otherthing[(string)$id] = $value;
  }

  public static function dump() {
    var_dump(self::$thing, self::$otherthing);
  }
}

function main() {
  c::doit(0, 'hello');
  c::dump();
}
echo "Calling main\n";
main();
echo "Done\n";
