RPi Pico timer user_data

Hello, i am working with raspberry pi pico and C++ SDK. My goal is to set up timer and have variable increment every 500ms. I read the documentation and there is "user_data" available under the timer struct which id like to use. Im just not sure how can i put data into it and how to access it in the callback function. Thank you