//# run --args 42

script {
fun main(_x: u64) {}
}