module main_Abs(clk); input clk; input i1; output o1; output o2; output r_i1; machine_concret1_Abs1 machine_concret1_a1(clk,i1,o1,o2,r_i1); endmodule `include machine_concret1_Abs1.v