(impc:aot:do-or-emit
(call-as-xtlang
(set! MPI_NULL ompi_mpi_op_null_addr)
(set! MPI_MAX ompi_mpi_op_max_addr)
(set! MPI_MIN ompi_mpi_op_min_addr)
(set! MPI_SUM ompi_mpi_op_sum_addr)
(set! MPI_PROD ompi_mpi_op_prod_addr)
(set! MPI_LAND ompi_mpi_op_land_addr)
(set! MPI_BAND ompi_mpi_op_band_addr)
(set! MPI_LOR ompi_mpi_op_lor_addr)
(set! MPI_BOR ompi_mpi_op_bor_addr)
(set! MPI_LXOR ompi_mpi_op_lxor_addr)
(set! MPI_BXOR ompi_mpi_op_bxor_addr)
(set! MPI_MAXLOC ompi_mpi_op_maxloc_addr)
(set! MPI_MINLOC ompi_mpi_op_minloc_addr)
(set! MPI_REPLACE ompi_mpi_op_replace_addr)
(set! MPI_NO_OP ompi_mpi_op_no_op_addr)))
(impc:aot:insert-forms
(call-as-xtlang
(set! MPI_NULL ompi_mpi_op_null_addr)
(set! MPI_MAX ompi_mpi_op_max_addr)
(set! MPI_MIN ompi_mpi_op_min_addr)
(set! MPI_SUM ompi_mpi_op_sum_addr)
(set! MPI_PROD ompi_mpi_op_prod_addr)
(set! MPI_LAND ompi_mpi_op_land_addr)
(set! MPI_BAND ompi_mpi_op_band_addr)
(set! MPI_LOR ompi_mpi_op_lor_addr)
(set! MPI_BOR ompi_mpi_op_bor_addr)
(set! MPI_LXOR ompi_mpi_op_lxor_addr)
(set! MPI_BXOR ompi_mpi_op_bxor_addr)
(set! MPI_MAXLOC ompi_mpi_op_maxloc_addr)
(set! MPI_MINLOC ompi_mpi_op_minloc_addr)
(set! MPI_REPLACE ompi_mpi_op_replace_addr)
(set! MPI_NO_OP ompi_mpi_op_no_op_addr)))