unfound bitlevel bug