Quick script for automatically extracting syscall numbers for an OS - View it on GitHub