[executable: totally_not_a_virus.exe]
this is a joke file name Mike gives to a screen recorder he uses.
it is, in fact, not a virus.
