working on Daikon Forge bindings