Gathering Linux Syscall Numbers in a C Table