100644 blob 89f8218715d0bda4d5de52e395b0e5af7d3854ed	Makefile
100644 blob bfd053876832949d0919a91d247a082004ceed1d	const_generator.py
040000 tree ae857258ca3397184d0e4e72fbf9439865f16cbc	java
040000 tree ba2decdd5b9b8e2c5ea5cf73f0da5ca4eb2853b4	ocaml
040000 tree ad0367c15a2e10843cc674a83e56d554b696c309	python