//# run --args @0x1
// should fail with mismatched types
script {
fun main(_x: u64) {}
}