> More seriously, Ada permits all sorts of integer subtypes which do not, > as far as I know, exist in Java. Ada is also the only frontend which > generates PLACEHOLDER_EXPR. And it heavily uses variable-sized types.