String = "default string" Invariant = "should not change" Int = 1