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