document stdio wrappers