{
    "shell_cmd": "python3 -OO -u \"$file\"",
    "file_regex": "^[ ]*File \"(...*?)\", line ([0-9]*)",
    "selector": "source.python.3",
    "windows":
    {
        "shell_cmd": "py -3 -OO -u \"$file\""
    }
}