this contains the code that needs to be added to a jpf-symbc project