wal: arg -> given