Rewrite diamond_config.l to be (more) reentrant
Rewrite diamond_config.l to be (more) reentrant

cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond,cmusatyalab/opendiamond