using new cool message semantics