This warthog and bushbuck were lucky – but that is one unlucky croc.