Provide a detailed code example for libevil