Address Gustavo's comments re: windows syscalls