Add ex4-4.c functions to test header file