{ SAVE | DISCARD } STATE [ instances_clause ]