Generate readStmts

gen_readStmt