wavedrum: even more about loop headers