Talk about type-safe RTL for GNU Tools Cauldron 2014