040000 tree 9668ce95e9bc89c0fc966570282e584dce6a3b08	Float
040000 tree 25ac6263482e9bde9e12ea03c71158599d2c3fbe	Integer
040000 tree ca7acc67aa91345fcd8557271f60a8344762969e	Misc
040000 tree 4b5bae08c384cf53a466978a8bbc59daa89dc7b5	TypeCheck