val x : inta val y : into val z : introx