Bundobust definitions