Inline context_file
io.open