The crocodile was lurking next to wooden benches after venturing out from a nearby river in Brunei before workers whacked it with a backhoe digger.
