Probably.
To digress, in the early 1970's, outside the primary school where I was attending, the "mama" sold a bowl of chendol with small red kidney (adzuki) beans [unlike these days, the vendors are using big red kidney beans with less flavour], coconut milk, ice shaved on a wooden block with a...