More work on stdioLib