Actually use write_result