text: //
  //  string.h
  //  Firedrake
  //
  //  Created by Sidney Just
  //  Copyright (c) 2013 by Sidney Just
  //  Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated 
  //  documentation files (the "Software"), to deal in the Software without restriction, including without limitation 
  //  the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, 
  //  and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
  //  The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
  //  THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, 
  //  INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR 
  //  PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE 
  //  FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, 
  //  ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
  //
  
  #ifndef _STDIO_H_
  #define _STDIO_H_
  
  #include <prefix.h>
  
  int vsnprintf(char *buffer, size_t size, const char *format, va_list arg);
  int vsprintf(char *buffer, const char *format, va_list arg);
  
  int snprintf(char *dst, size_t size, const char *format, ...);
  int sprintf(char *dst, const char *format, ...);
  
  
  void sys_printf(const char *format, ...);
  
  #endif /* _STDIO_H_ */
  