Add translation rules for variadic libc calls #746

Job	Run time
Run Tests (macos-latest, Release)	3m 17s
Run Tests (ubuntu-latest, Debug)	4m 21s
Run Tests (ubuntu-latest, Release)	4m 16s
Run Tests (macos-latest, Debug)	3m 6s
	15m 0s

Provide feedback