module 0x8675309::M {
    fun index_in_prog(x: u64) {
      let _ = x[1];
    }
}