Notes about ppport.h Close #11