IO and top-level function calls allowed