(assert((_ extract 
		0
	      1) #b01)