added #include "stdint.h"