Stdatomic Incremental Model