Note: 0ms+0: should assert
