testArduino/_obj/linux/debug/fsfw/tcdistribution/TcPacketCheck.o