type rules for atomic instructions