string    = default string
invariant = should not change
int       = 1