XJLINK_SERIAL_NUMBER is a read-only built-in integer containing the serial number of the XJLink currently in use.
PRINT("XJLink serial number: ", XJLINK_SERIAL_NUMBER, "\n");