0ms+0: 00001111
0ms+0: choice length 8 does not match expected length 3
