windows_syscalls_dumper A dirty IDAPython script to dump windows system call number/name pairs as JSON