/**************************************************************************************
 Copyright (c) 2002 The UbixOS Project
 All rights reserved.

 Redistribution and use in source and binary forms, with or without modification,
 are prohibited.

 $Id$

**************************************************************************************/

#include <stdio.h>
#include <stdarg.h>

int printf(char const *fmt, ...) {
  int retVal;
  vaList ap;
  vaStart(ap, fmt);
  retVal = vfprintf(stdout, fmt, ap);
  vaEnd(ap);
  return(retVal);
  }