context: be explicit about __sync builtin

It does the right thing, but I think its better to be explicit.