ARTS: a bit about priority inversion and what to do about it