Instructions for the restricted domain system