32-bit warnings in test_circuitmux.c
Found with jenkins: