African rocks seem notorious for eating large prey items.. I wonder what the situation was that the kid was eaten. I also wonder if a snake has eaten a full grown person.. eating a child is one thing. That'd be an awful way to go.

The burm at work (also the world's largest snake) ate a 100 pound pig, but still that's a ways away from eating a full grown human.