Flesh out the forwarding for stdio_file