//# run --args 42 @0x1

script {
fun main(_x: u64, _y: address) {}
}