#include <stdint.h>
#include "lpc2148.h"

typedef uint8_t radio_packet_length_t;