Added first test for big endian symbolic execution
Added function prototypes for s2e functions