using 'system.io';

public class Main:

    private string _name;
	private bool   _hasWon;
	private real   _health;
	private int    _treasure;

	@_name(
		set: assertTrue(value != nil);
	      );

       @_health(
		set: assertTrue(value >= MINIMUM_HP and <= maxHP);
	     );

	@_hasWon(
		set: assertTrue(value = false);
		);

    public init([string] argv):

      (if |argv| == 0):
	out >> print("No game arguments given, resorting to default.");
	self.newGame();
       end;

       else:
	self.newGame();
       end;

    end;

    public def newGame():
      io.out >> print("Please enter your name: ");
      io.in >> _name;
      print("Welcome, {0}!",_name);
    end;
end;