state-listening: go to FAULTY if received an announce of uncorrect
length
all states: use switch/case to analyse the incoming msg type