some basic tests for bitdomain