Definite assignment
Method Main