$BEAMX expects a thread to come down