Please assert the preconditions on received_register, ok_response, expires. They're complicated, and if you don't assert here I'll be reduced to debugging SEGVs when I get it wrong :-(