We need to verify that the machine instruction we're using as a replacement for