Init: explores lazy evaluation with Debug.Trace