barf (134.342)