An attempt to prove that better ABIs are possible