some assertions in the produced packages; I need to understand bugs