Pass pointer to args

Fixes bug in printf()