#include <ion.h>

const char * Ion::serialNumber() {
  return "000000000000";
}