else
if (command.equals("REQUEST")) {
assert (request == null); // Strict request-reply cycle
// Prefix request with sequence number and empty envelope
String sequenceText = String.format("%d", ++sequence);
msg.push(sequenceText);
// Take ownership of request message
request = msg;
msg = null;
// Request expires after global timeout
expires = System.currentTimeMillis() + GLOBAL_TIMEOUT;