standarizing header entry defs. also addint stdint for uint32_t in scheduler.h