CTAL_0 1.0.0a has been released. "CTAL_0 is a strictly typed assembly language that is intended to be used as a target language into which C programs are compiled."