Is this really as simple as calling system? Aren't there other post conditions to check?

Also, do we need a disable call yet? I don't see it in the reference guest.