Budi is a generic male name in wkwkwk land, prominently featured in their LKS (Student Assignment book), at least during my shool years.
In actuality though, i have NEVER seen nor heard any real life person with that name, eventhough i am an Indonesian. So budi is more like that someone who buy 90 watermelons in your math books, like unicorn.