Add pixen instructions