/* stub for compilers not supporting stdint.h */
#include "pstdint.h"