44a45,46
> uint64_t getArgument(ThreadContext *tc, int number, bool fp);
>