Yep, I think we are doing `UV_EXTERN` the same way.