	system u0 (
		.clk50_clk                          (_connected_to_clk50_clk_),                          //   input,  width = 1,                       clk50.clk
		.pio_key_external_connection_export (_connected_to_pio_key_external_connection_export_), //   input,  width = 2, pio_key_external_connection.export
		.pio_led_external_connection_export (_connected_to_pio_led_external_connection_export_), //  output,  width = 4, pio_led_external_connection.export
		.reset_n_reset_n                    (_connected_to_reset_n_reset_n_),                    //   input,  width = 1,                     reset_n.reset_n
		.sd_clk_external_connection_export  (_connected_to_sd_clk_external_connection_export_),  //  output,  width = 1,  sd_clk_external_connection.export
		.sd_cmd_external_connection_export  (_connected_to_sd_cmd_external_connection_export_),  //   inout,  width = 1,  sd_cmd_external_connection.export
		.sd_dat_external_connection_export  (_connected_to_sd_dat_external_connection_export_),  //   inout,  width = 4,  sd_dat_external_connection.export
		.terasic_sdcard_conduit_end_sd_clk  (_connected_to_terasic_sdcard_conduit_end_sd_clk_),  //  output,  width = 1,  terasic_sdcard_conduit_end.sd_clk
		.terasic_sdcard_conduit_end_sd_cmd  (_connected_to_terasic_sdcard_conduit_end_sd_cmd_),  //   inout,  width = 1,                            .sd_cmd
		.terasic_sdcard_conduit_end_sd_data (_connected_to_terasic_sdcard_conduit_end_sd_data_)  //   inout,  width = 4,                            .sd_data
	);

