// param: x: jet.Int: 10

fun addX(y: Int) = x + y

addX(3)

// expected: rv: 13