#include <stdint.h>

//
// AUTOGENERATED BY BUILD
// DO NOT MODIFY - CHANGES WILL BE OVERWRITTEN
//

uint32_t MESSAGE_KEY_JSReady = 10004;
uint32_t MESSAGE_KEY_password = 10003;
uint32_t MESSAGE_KEY_server = 10001;
uint32_t MESSAGE_KEY_status = 10000;
uint32_t MESSAGE_KEY_username = 10002;