//# run --args 3 5 @0x42
script {
fun main(_x: u64, _y: u64, _z: address) {}
}