proofread stdlib