Starting the port. Gotta work on proving total and termination before I can move on with the rest