context(a@kotlin.String?)
@kotlin.OptIn(markerClass = [kotlin.contracts.ExperimentalContracts::class])
fun validate(param: kotlin.Int?)
