swap space header 

swap space header file in pintos