Files in examples/generate-work-rpc/ of a0b0b2d10b780dda

Files in directory examples/generate-work-rpc of check-in a0b0b2d10b780dda