REFACTORING BroadcastReceiver: change all datatypes to stdint.h datatypes