 In the same paper, several "Prestosuchus" specimens, including the paralectotype of "P. chiniquensis" and the "Porto Alegre specimen" (i.e.UFRGS-PV-0156-T), were named as a different new genus, "Karamuru vorax".However, this name was also poorly defined and never formalized, so "Karamuru vorax" is considered a "nomen nudum" along with "Abaporu loricatus".