Implement translation of mark instruction