Not quite right, as the return value is supposed to be an array of `uint32_t` - for now you construct a list of number separated by commas, which will cause troubles when you pass it to `sethilitedlines`.
Could update to `hilitedlines(vector_t<uint32_t> &r_lines)`