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