State signatures declared at Echo.java