though I'm not using it, it's required by seqdiag