tiny detail

an_agent.call ([])   or an_agent.call (Void)

are similar, but using Void  avoid creating an empty tuple for nothing.