code generation for ReadExp