Output:
Evaluation is Lazy ; >>> First Evaluation Hello world! Evaluated only once : Hello world! >>> Second Evaluation 12