Decode nested bracket string

Decode a string encoded with the rule k[encoded_string], where the bracketed substring is repeated exactly k times. k is a positive integer and encoding may be nested. The input contains only lowercase letters, digits, and brackets, is always well-formed, has length 1 to 10^4, and the decoded output fits comfortably in memory (under ~10^5 characters). Return the decoded string.