executable (a.out) is an interesting choice —I'd guess it's x86, and probably not really a.out but a more modern exe format— but are there any relevant docs?