Added function declarations to verbatim