Correctly implement variadic functions.
Handle struct field accesses.