add functionality to Cairo backend