function core.string.padleft() { local pad_char="${3:- }" # Default padding character is space local current_length=$(string_length "$str") local padding_length=$((len - current_length)) local padding="" if [[ "$padding_length" -gt 0 ]]; then for ((i=0; i