/*
 * Copyright (C) 2011 CERN (www.cern.ch)
 * Authors: Alessandro Rubini and Aurelio Colosimo
 *
 * Released according to the GNU LGPL, version 2.1 or any later version.
 */
#ifndef __PPSI_LIB_H__
#define __PPSI_LIB_H__
#include <stdint.h>
#include <string.h>

extern int puts(const char *s);
extern void pp_puts(const char *s);
extern int atoi(const char *s);

extern uint32_t __div64_32(uint64_t *n, uint32_t base);

#endif /* __PPSI_LIB_H__ */