module 0x8675309::M {
    fun range_in_prog(x: u64) {
      let _ = 1 .. 2;
    }
}