tevent: specify argument names for the event handlers