anchor.diff:          !        CAS = {cas1, cas2}
           !    }
   
  -        use, intrinsic :: iso_c_binding, only: c_ptr, c_int, c_loc
  -        use flu_binding, only: flu_State, flu_copyptr, flu_gettop, flu_pushlightuserdata
  +        use, intrinsic :: iso_c_binding, only: c_ptr, c_int
  +        use flu_binding, only: flu_State, flu_copyptr, flu_gettop
           use aot_top_module, only: aot_top_get_val
           use aot_table_module, only: aot_table_top, aot_get_val, aot_exists, aot_table_close
   
  
positive.code:         end if
  
      end subroutine get_sys_t
  
      subroutine set_common_sys_options(lua_state, sys, opts)
  
  
negative.code:         end if
          call aot_table_close(lua_state, opts)
  
          call push_sys(lua_state, sys)
          nreturn = 1
  
      end function real_lattice_wrapper
  