A compiler for Ada/CS