Handle variadic functions

[2over12]

Currently, we dont bind up information to the in parameters of a function that are variadic because we look at the functions formals to bind up the actuals. We should query ghidra or use our own analysis to figure out how to bind these up