#include const char * Ion::serialNumber() { return "UNKNOWN"; }