Are these functions correct for the following program?

Printable View