dispatcher test
invariant test