Varargs 'implemented' (using GCC's lib). Printf now uses varargs