Source code for open-source CLAIRE Programming Language version 3.4 (2013)