I am new to using the Cairo programming language, and I am also trying to make use of the Pragma docs t