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;