pul (Indonesian) comes from Dutch Pool, from Middle Dutch pool, from Old French poil, from Latin pēnsilis, from Latin pendēre, from Latin pendō, from Proto-Italic pendō, from Proto-Indo-European (s)péndeti — to stretch.
pul (Indonesian): pooling