amistad_main_eamistad_main_aamistad_main_bamistad_main_c