For `@JvmInline value class UserId(val raw: Long)`, consider a function `fun lookup(id: UserId): User`. How is the `UserId` parameter represented in the compiled method signature, and what is the mangling for?
@JvmInline value class UserId(val raw: Long)
fun lookup(id: UserId): User { /* ... */ }