Implemented Pragma header, closes #3