The call implementation allows optional destinations, but the grammar enforces that there must be at least one 