use unit tests via Check instead of small test programs