|x to bits|
	, fill b[3] with x:8, is b[3] filled?
	, fill b[2] with x:4, is b[2] filled?
	, fill b[1] with x:2, is b[1] filled?
	, fill b[0] with x:1, is b[0] filled?

|release x, x to consume| x
|release x|

|consume x, x to consume|
|consume x|

|clear fill b[3] with x, fill b[3] with x|
|clear fill b[3] with x|

|clear fill b[2] with x, fill b[2] with x|
|clear fill b[2] with x|

|clear fill b[1] with x, fill b[1] with x|
|clear fill b[1] with x|

|clear fill b[0] with x, fill b[0] with x|
|clear fill b[0] with x|

|x, fill b[3] with x|
	, x to consume

|is b[3] filled?, fill b[3] with x|
	, b[3] has failed

|is b[3] filled?|
	, b[3] has succeeded

|b[3] has failed|
	, release x:8
 	, clear fill b[3] with x:8
|b[3] has succeeded| 
	, b[3]
	, consume x:8

|x, fill b[2] with x|
	, x to consume

|is b[2] filled?, fill b[2] with x|
	, b[2] has failed

|is b[2] filled?|
	, b[2] has succeeded

|b[2] has failed|
	, release x:8
 	, clear fill b[2] with x:4

|b[2] has succeeded| 
	, b[2]
	, consume x:4

|x, fill b[1] with x|
	, x to consume

|is b[1] filled?, fill b[1] with x|
	, b[1] has failed

|is b[1] filled?|
	, b[1] has succeeded

|b[1] has failed|
	, release x:2
 	, clear fill b[1] with x:2

|b[1] has succeeded| 
	, b[1]
	, consume x:2

|x, fill b[0] with x|
	, x to consume

|is b[0] filled?, fill b[0] with x|
	, b[0] has failed

|is b[0] filled?|
	, b[0] has succeeded

|b[0] has failed|
	, release x
 	, clear fill b[0] with x

|b[0] has succeeded| 
	, b[0]
	, consume x

||x:11, x to bits