Я понимаю, что isVolatile(s1) это возврат какого-то бита.
Я не понимаю мехенизма установки этого бита для S1 таким образом, чтобы все сработало за один проход.