Initial commit of Titan programs