Whoops; check in test_circuitmux.c