Now with the actual header file