Add translation rules for variadic libc calls #747

Job	Run time
Run Tests (macos-latest, Release)	4m 22s
Run Tests (ubuntu-latest, Release)	4m 43s
Run Tests (macos-latest, Debug)	4m 57s
Run Tests (ubuntu-latest, Debug)	4m 41s
	18m 43s

Provide feedback