#include <print.h>
#include <HardwareSerial.h>

void print_init() {
  Serial.begin(115200);
}

void print(const char * msg) {
  Serial.print(msg);
}

void printdec(unsigned short n) {
  Serial.print(n, DEC);
}

void printhex(unsigned short n) {
  Serial.print(n, HEX);
}
