adam@1590: val x : inta
adam@1590: val y : into
adam@1590: val z : introx