HelenOS sources

root/common/printf/printf_core.c

/* [<][>][^][v][top][bottom][index][help] */

DEFINITIONS

This source file includes following definitions.
  1. printf_putnchars
  2. printf_wputnchars
  3. printf_putstr
  4. printf_putchar
  5. printf_putuchar
  6. print_char
  7. print_wchar
  8. print_str
  9. print_wstr
  10. print_number
  11. get_sign_char
  12. print_padding
  13. print_special
  14. fp_trim_trailing_zeros
  15. fp_round_up
  16. print_double_str_fixed
  17. print_double_fixed
  18. print_exponent
  19. print_double_str_scient
  20. print_double_scientific
  21. print_double_generic
  22. print_double
  23. printf_core

/*
 * Copyright (c) 2001-2004 Jakub Jermar
 * Copyright (c) 2006 Josef Cejka
 * Copyright (c) 2009 Martin Decky
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * - Redistributions of source code must retain the above copyright
 *   notice, this list of conditions and the following disclaimer.
 * - Redistributions in binary form must reproduce the above copyright
 *   notice, this list of conditions and the following disclaimer in the
 *   documentation and/or other materials provided with the distribution.
 * - The name of the author may not be used to endorse or promote products
 *   derived from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */

/** @addtogroup libc
 * @{
 */
/**
 * @file
 * @brief Printing functions.
 */

#include <stdio.h>
#include <stddef.h>
#include <stdlib.h>
#include <printf_core.h>
#include <ctype.h>
#include <str.h>
#include <assert.h>
#include <macros.h>
#include <uchar.h>

/* Disable float support in kernel, because we usually disable floating operations there. */
#if __STDC_HOSTED__
#define HAS_FLOAT
#endif

#ifdef HAS_FLOAT
#include <double_to_str.h>
#include <ieee_double.h>
#endif

/** show prefixes 0x or 0 */
#define __PRINTF_FLAG_PREFIX       0x00000001

/** show the decimal point even if no fractional digits present */
#define __PRINTF_FLAG_DECIMALPT    0x00000001

/** signed / unsigned number */
#define __PRINTF_FLAG_SIGNED       0x00000002

/** print leading zeroes */
#define __PRINTF_FLAG_ZEROPADDED   0x00000004

/** align to left */
#define __PRINTF_FLAG_LEFTALIGNED  0x00000010

/** always show + sign */
#define __PRINTF_FLAG_SHOWPLUS     0x00000020

/** print space instead of plus */
#define __PRINTF_FLAG_SPACESIGN    0x00000040

/** show big characters */
#define __PRINTF_FLAG_BIGCHARS     0x00000080

/** number has - sign */
#define __PRINTF_FLAG_NEGATIVE     0x00000100

/** don't print trailing zeros in the fractional part */
#define __PRINTF_FLAG_NOFRACZEROS  0x00000200

/**
 * Buffer big enough for 64-bit number printed in base 2, sign, prefix and 0
 * to terminate string... (last one is only for better testing end of buffer by
 * zero-filling subroutine)
 */
#define PRINT_NUMBER_BUFFER_SIZE  (64 + 5)

/** Get signed or unsigned integer argument */
#define PRINTF_GET_INT_ARGUMENT(type, ap, flags) \
        ({ \
                unsigned type res; \
                \
                if ((flags) & __PRINTF_FLAG_SIGNED) { \
                        signed type arg = va_arg((ap), signed type); \
                        \
                        if (arg < 0) { \
                                res = -arg; \
                                (flags) |= __PRINTF_FLAG_NEGATIVE; \
                        } else \
                                res = arg; \
                } else \
                        res = va_arg((ap), unsigned type); \
                \
                res; \
        })

/** Enumeration of possible arguments types.
 */
typedef enum {
        PrintfQualifierByte = 0,
        PrintfQualifierShort,
        PrintfQualifierInt,
        PrintfQualifierLong,
        PrintfQualifierLongLong,
        PrintfQualifierPointer,
        PrintfQualifierSize,
        PrintfQualifierMax
} qualifier_t;

static const char *nullstr = "(NULL)";
static const char *digits_small = "0123456789abcdef";
static const char *digits_big = "0123456789ABCDEF";
static const char invalch = U_SPECIAL;

/** Print one or more characters without adding newline.
 *
 * @param buf  Buffer holding characters with size of
 *             at least size bytes. NULL is not allowed!
 * @param size Size of the buffer in bytes.
 * @param ps   Output method and its data.
 *
 * @return Number of characters printed.
 *
 */
static int printf_putnchars(const char *buf, size_t size,
    printf_spec_t *ps)
{
        return ps->str_write((void *) buf, size, ps->data);
}

/** Print one or more wide characters without adding newline.
 *
 * @param buf  Buffer holding wide characters with size of
 *             at least size bytes. NULL is not allowed!
 * @param size Size of the buffer in bytes.
 * @param ps   Output method and its data.
 *
 * @return Number of wide characters printed.
 *
 */
static int printf_wputnchars(const char32_t *buf, size_t size,
    printf_spec_t *ps)
{
        return ps->wstr_write((void *) buf, size, ps->data);
}

/** Print string without adding a newline.
 *
 * @param str String to print.
 * @param ps  Write function specification and support data.
 *
 * @return Number of characters printed.
 *
 */
static int printf_putstr(const char *str, printf_spec_t *ps)
{
        if (str == NULL)
                return printf_putnchars(nullstr, str_size(nullstr), ps);

        return ps->str_write((void *) str, str_size(str), ps->data);
}

/** Print one ASCII character.
 *
 * @param c  ASCII character to be printed.
 * @param ps Output method.
 *
 * @return Number of characters printed.
 *
 */
static int printf_putchar(const char ch, printf_spec_t *ps)
{
        if (!ascii_check(ch))
                return ps->str_write((void *) &invalch, 1, ps->data);

        return ps->str_write(&ch, 1, ps->data);
}

/** Print one wide character.
 *
 * @param c  Wide character to be printed.
 * @param ps Output method.
 *
 * @return Number of characters printed.
 *
 */
static int printf_putuchar(const char32_t ch, printf_spec_t *ps)
{
        if (!chr_check(ch))
                return ps->str_write((void *) &invalch, 1, ps->data);

        return ps->wstr_write(&ch, sizeof(char32_t), ps->data);
}

/** Print one formatted ASCII character.
 *
 * @param ch    Character to print.
 * @param width Width modifier.
 * @param flags Flags that change the way the character is printed.
 *
 * @return Number of characters printed, negative value on failure.
 *
 */
static int print_char(const char ch, int width, uint32_t flags, printf_spec_t *ps)
{
        size_t counter = 0;
        if (!(flags & __PRINTF_FLAG_LEFTALIGNED)) {
                while (--width > 0) {
                        /*
                         * One space is consumed by the character itself, hence
                         * the predecrement.
                         */
                        if (printf_putchar(' ', ps) > 0)
                                counter++;
                }
        }

        if (printf_putchar(ch, ps) > 0)
                counter++;

        while (--width > 0) {
                /*
                 * One space is consumed by the character itself, hence
                 * the predecrement.
                 */
                if (printf_putchar(' ', ps) > 0)
                        counter++;
        }

        return (int) (counter);
}

/** Print one formatted wide character.
 *
 * @param ch    Character to print.
 * @param width Width modifier.
 * @param flags Flags that change the way the character is printed.
 *
 * @return Number of characters printed, negative value on failure.
 *
 */
static int print_wchar(const char32_t ch, int width, uint32_t flags, printf_spec_t *ps)
{
        size_t counter = 0;
        if (!(flags & __PRINTF_FLAG_LEFTALIGNED)) {
                while (--width > 0) {
                        /*
                         * One space is consumed by the character itself, hence
                         * the predecrement.
                         */
                        if (printf_putchar(' ', ps) > 0)
                                counter++;
                }
        }

        if (printf_putuchar(ch, ps) > 0)
                counter++;

        while (--width > 0) {
                /*
                 * One space is consumed by the character itself, hence
                 * the predecrement.
                 */
                if (printf_putchar(' ', ps) > 0)
                        counter++;
        }

        return (int) (counter);
}

/** Print string.
 *
 * @param str       String to be printed.
 * @param width     Width modifier.
 * @param precision Precision modifier.
 * @param flags     Flags that modify the way the string is printed.
 *
 * @return Number of characters printed, negative value on failure.
 */
static int print_str(char *str, int width, unsigned int precision,
    uint32_t flags, printf_spec_t *ps)
{
        if (str == NULL)
                return printf_putstr(nullstr, ps);

        size_t strw = str_length(str);

        /* Precision unspecified - print everything. */
        if ((precision == 0) || (precision > strw))
                precision = strw;

        /* Left padding */
        size_t counter = 0;
        width -= precision;
        if (!(flags & __PRINTF_FLAG_LEFTALIGNED)) {
                while (width-- > 0) {
                        if (printf_putchar(' ', ps) == 1)
                                counter++;
                }
        }

        /* Part of @a str fitting into the alloted space. */
        int retval;
        size_t size = str_lsize(str, precision);
        if ((retval = printf_putnchars(str, size, ps)) < 0)
                return -counter;

        counter += retval;

        /* Right padding */
        while (width-- > 0) {
                if (printf_putchar(' ', ps) == 1)
                        counter++;
        }

        return ((int) counter);

}

/** Print wide string.
 *
 * @param str       Wide string to be printed.
 * @param width     Width modifier.
 * @param precision Precision modifier.
 * @param flags     Flags that modify the way the string is printed.
 *
 * @return Number of wide characters printed, negative value on failure.
 */
static int print_wstr(char32_t *str, int width, unsigned int precision,
    uint32_t flags, printf_spec_t *ps)
{
        if (str == NULL)
                return printf_putstr(nullstr, ps);

        size_t strw = wstr_length(str);

        /* Precision not specified - print everything. */
        if ((precision == 0) || (precision > strw))
                precision = strw;

        /* Left padding */
        size_t counter = 0;
        width -= precision;
        if (!(flags & __PRINTF_FLAG_LEFTALIGNED)) {
                while (width-- > 0) {
                        if (printf_putchar(' ', ps) == 1)
                                counter++;
                }
        }

        /* Part of @a wstr fitting into the alloted space. */
        int retval;
        size_t size = wstr_lsize(str, precision);
        if ((retval = printf_wputnchars(str, size, ps)) < 0)
                return -counter;

        counter += retval;

        /* Right padding */
        while (width-- > 0) {
                if (printf_putchar(' ', ps) == 1)
                        counter++;
        }

        return ((int) counter);
}

/** Print a number in a given base.
 *
 * Print significant digits of a number in given base.
 *
 * @param num       Number to print.
 * @param width     Width modifier.
 * @param precision Precision modifier.
 * @param base      Base to print the number in (must be between 2 and 16).
 * @param flags     Flags that modify the way the number is printed.
 *
 * @return Number of characters printed.
 *
 */
static int print_number(uint64_t num, int width, int precision, int base,
    uint32_t flags, printf_spec_t *ps)
{
        /* Precision not specified. */
        if (precision < 0) {
                precision = 0;
        }

        const char *digits;
        if (flags & __PRINTF_FLAG_BIGCHARS)
                digits = digits_big;
        else
                digits = digits_small;

        char data[PRINT_NUMBER_BUFFER_SIZE];
        char *ptr = &data[PRINT_NUMBER_BUFFER_SIZE - 1];

        /* Size of number with all prefixes and signs */
        int size = 0;

        /* Put zero at end of string */
        *ptr-- = 0;

        if (num == 0) {
                *ptr-- = '0';
                size++;
        } else {
                do {
                        *ptr-- = digits[num % base];
                        size++;
                } while (num /= base);
        }

        /* Size of plain number */
        int number_size = size;

        /*
         * Collect the sum of all prefixes/signs/etc. to calculate padding and
         * leading zeroes.
         */
        if (flags & __PRINTF_FLAG_PREFIX) {
                switch (base) {
                case 2:
                        /* Binary formating is not standard, but usefull */
                        size += 2;
                        break;
                case 8:
                        size++;
                        break;
                case 16:
                        size += 2;
                        break;
                }
        }

        char sgn = 0;
        if (flags & __PRINTF_FLAG_SIGNED) {
                if (flags & __PRINTF_FLAG_NEGATIVE) {
                        sgn = '-';
                        size++;
                } else if (flags & __PRINTF_FLAG_SHOWPLUS) {
                        sgn = '+';
                        size++;
                } else if (flags & __PRINTF_FLAG_SPACESIGN) {
                        sgn = ' ';
                        size++;
                }
        }

        if (flags & __PRINTF_FLAG_LEFTALIGNED)
                flags &= ~__PRINTF_FLAG_ZEROPADDED;

        /*
         * If the number is left-aligned or precision is specified then
         * padding with zeros is ignored.
         */
        if (flags & __PRINTF_FLAG_ZEROPADDED) {
                if ((precision == 0) && (width > size))
                        precision = width - size + number_size;
        }

        /* Print leading spaces */
        if (number_size > precision) {
                /* Print the whole number, not only a part */
                precision = number_size;
        }

        width -= precision + size - number_size;
        size_t counter = 0;

        if (!(flags & __PRINTF_FLAG_LEFTALIGNED)) {
                while (width-- > 0) {
                        if (printf_putchar(' ', ps) == 1)
                                counter++;
                }
        }

        /* Print sign */
        if (sgn) {
                if (printf_putchar(sgn, ps) == 1)
                        counter++;
        }

        /* Print prefix */
        if (flags & __PRINTF_FLAG_PREFIX) {
                switch (base) {
                case 2:
                        /* Binary formating is not standard, but useful */
                        if (printf_putchar('0', ps) == 1)
                                counter++;
                        if (flags & __PRINTF_FLAG_BIGCHARS) {
                                if (printf_putchar('B', ps) == 1)
                                        counter++;
                        } else {
                                if (printf_putchar('b', ps) == 1)
                                        counter++;
                        }
                        break;
                case 8:
                        if (printf_putchar('o', ps) == 1)
                                counter++;
                        break;
                case 16:
                        if (printf_putchar('0', ps) == 1)
                                counter++;
                        if (flags & __PRINTF_FLAG_BIGCHARS) {
                                if (printf_putchar('X', ps) == 1)
                                        counter++;
                        } else {
                                if (printf_putchar('x', ps) == 1)
                                        counter++;
                        }
                        break;
                }
        }

        /* Print leading zeroes */
        precision -= number_size;
        while (precision-- > 0) {
                if (printf_putchar('0', ps) == 1)
                        counter++;
        }

        /* Print the number itself */
        int retval;
        if ((retval = printf_putstr(++ptr, ps)) > 0)
                counter += retval;

        /* Print trailing spaces */

        while (width-- > 0) {
                if (printf_putchar(' ', ps) == 1)
                        counter++;
        }

        return ((int) counter);
}

#ifdef HAS_FLOAT

/** Unformatted double number string representation. */
typedef struct {
        /** Buffer with len digits, no sign or leading zeros. */
        char *str;
        /** Number of digits in str. */
        int len;
        /** Decimal exponent, ie number = str * 10^dec_exp */
        int dec_exp;
        /** True if negative. */
        bool neg;
} double_str_t;

/** Returns the sign character or 0 if no sign should be printed. */
static int get_sign_char(bool negative, uint32_t flags)
{
        if (negative) {
                return '-';
        } else if (flags & __PRINTF_FLAG_SHOWPLUS) {
                return '+';
        } else if (flags & __PRINTF_FLAG_SPACESIGN) {
                return ' ';
        } else {
                return 0;
        }
}

/** Prints count times character ch. */
static int print_padding(char ch, int count, printf_spec_t *ps)
{
        for (int i = 0; i < count; ++i) {
                if (ps->str_write(&ch, 1, ps->data) < 0) {
                        return -1;
                }
        }

        return count;
}

/** Prints a special double (ie NaN, infinity) padded to width characters. */
static int print_special(ieee_double_t val, int width, uint32_t flags,
    printf_spec_t *ps)
{
        assert(val.is_special);

        char sign = get_sign_char(val.is_negative, flags);

        const int str_len = 3;
        const char *str;

        if (flags & __PRINTF_FLAG_BIGCHARS) {
                str = val.is_infinity ? "INF" : "NAN";
        } else {
                str = val.is_infinity ? "inf" : "nan";
        }

        int padding_len = max(0, width - ((sign ? 1 : 0) + str_len));

        int counter = 0;
        int ret;

        /* Leading padding. */
        if (!(flags & __PRINTF_FLAG_LEFTALIGNED)) {
                if ((ret = print_padding(' ', padding_len, ps)) < 0)
                        return -1;

                counter += ret;
        }

        if (sign) {
                if ((ret = ps->str_write(&sign, 1, ps->data)) < 0)
                        return -1;

                counter += ret;
        }

        if ((ret = ps->str_write(str, str_len, ps->data)) < 0)
                return -1;

        counter += ret;

        /* Trailing padding. */
        if (flags & __PRINTF_FLAG_LEFTALIGNED) {
                if ((ret = print_padding(' ', padding_len, ps)) < 0)
                        return -1;

                counter += ret;
        }

        return counter;
}

/** Trims trailing zeros but leaves a single "0" intact. */
static void fp_trim_trailing_zeros(char *buf, int *len, int *dec_exp)
{
        /* Cut the zero off by adjusting the exponent. */
        while (2 <= *len && '0' == buf[*len - 1]) {
                --*len;
                ++*dec_exp;
        }
}

/** Textually round up the last digit thereby eliminating it. */
static void fp_round_up(char *buf, int *len, int *dec_exp)
{
        assert(1 <= *len);

        char *last_digit = &buf[*len - 1];

        int carry = ('5' <= *last_digit);

        /* Cut the digit off by adjusting the exponent. */
        --*len;
        ++*dec_exp;
        --last_digit;

        if (carry) {
                /* Skip all the digits to cut off/round to zero. */
                while (buf <= last_digit && '9' == *last_digit) {
                        --last_digit;
                }

                /* last_digit points to the last digit to round but not '9' */
                if (buf <= last_digit) {
                        *last_digit += 1;
                        int new_len = last_digit - buf + 1;
                        *dec_exp += *len - new_len;
                        *len = new_len;
                } else {
                        /* All len digits rounded to 0. */
                        buf[0] = '1';
                        *dec_exp += *len;
                        *len = 1;
                }
        } else {
                /* The only digit was rounded to 0. */
                if (last_digit < buf) {
                        buf[0] = '0';
                        *dec_exp = 0;
                        *len = 1;
                }
        }
}

/** Format and print the double string repressentation according
 *  to the %f specifier.
 */
static int print_double_str_fixed(double_str_t *val_str, int precision, int width,
    uint32_t flags, printf_spec_t *ps)
{
        int len = val_str->len;
        char *buf = val_str->str;
        int dec_exp = val_str->dec_exp;

        assert(0 < len);
        assert(0 <= precision);
        assert(0 <= dec_exp || -dec_exp <= precision);

        /* Number of integral digits to print (at least leading zero). */
        int int_len = max(1, len + dec_exp);

        char sign = get_sign_char(val_str->neg, flags);

        /* Fractional portion lengths. */
        int last_frac_signif_pos = max(0, -dec_exp);
        int leading_frac_zeros = max(0, last_frac_signif_pos - len);
        int signif_frac_figs = min(last_frac_signif_pos, len);
        int trailing_frac_zeros = precision - last_frac_signif_pos;
        char *buf_frac = buf + len - signif_frac_figs;

        if (flags & __PRINTF_FLAG_NOFRACZEROS) {
                trailing_frac_zeros = 0;
        }

        int frac_len = leading_frac_zeros + signif_frac_figs + trailing_frac_zeros;

        bool has_decimal_pt = (0 < frac_len) || (flags & __PRINTF_FLAG_DECIMALPT);

        /* Number of non-padding chars to print. */
        int num_len = (sign ? 1 : 0) + int_len + (has_decimal_pt ? 1 : 0) + frac_len;

        int padding_len = max(0, width - num_len);
        int ret = 0;
        int counter = 0;

        /* Leading padding and sign. */

        if (!(flags & (__PRINTF_FLAG_LEFTALIGNED | __PRINTF_FLAG_ZEROPADDED))) {
                if ((ret = print_padding(' ', padding_len, ps)) < 0)
                        return -1;

                counter += ret;
        }

        if (sign) {
                if ((ret = ps->str_write(&sign, 1, ps->data)) < 0)
                        return -1;

                counter += ret;
        }

        if (flags & __PRINTF_FLAG_ZEROPADDED) {
                if ((ret = print_padding('0', padding_len, ps)) < 0)
                        return -1;

                counter += ret;
        }

        /* Print the intergral part of the buffer. */

        int buf_int_len = min(len, len + dec_exp);

        if (0 < buf_int_len) {
                if ((ret = ps->str_write(buf, buf_int_len, ps->data)) < 0)
                        return -1;

                counter += ret;

                /* Print trailing zeros of the integral part of the number. */
                if ((ret = print_padding('0', int_len - buf_int_len, ps)) < 0)
                        return -1;
        } else {
                /* Single leading integer 0. */
                char ch = '0';
                if ((ret = ps->str_write(&ch, 1, ps->data)) < 0)
                        return -1;
        }

        counter += ret;

        /* Print the decimal point and the fractional part. */
        if (has_decimal_pt) {
                char ch = '.';

                if ((ret = ps->str_write(&ch, 1, ps->data)) < 0)
                        return -1;

                counter += ret;

                /* Print leading zeros of the fractional part of the number. */
                if ((ret = print_padding('0', leading_frac_zeros, ps)) < 0)
                        return -1;

                counter += ret;

                /* Print significant digits of the fractional part of the number. */
                if (0 < signif_frac_figs) {
                        if ((ret = ps->str_write(buf_frac, signif_frac_figs, ps->data)) < 0)
                                return -1;

                        counter += ret;
                }

                /* Print trailing zeros of the fractional part of the number. */
                if ((ret = print_padding('0', trailing_frac_zeros, ps)) < 0)
                        return -1;

                counter += ret;
        }

        /* Trailing padding. */
        if (flags & __PRINTF_FLAG_LEFTALIGNED) {
                if ((ret = print_padding(' ', padding_len, ps)) < 0)
                        return -1;

                counter += ret;
        }

        return counter;
}

/** Convert, format and print a double according to the %f specifier.
 *
 * @param g     Double to print.
 * @param precision Number of fractional digits to print. If 0 no
 *              decimal point will be printed unless the flag
 *              __PRINTF_FLAG_DECIMALPT is specified.
 * @param width Minimum number of characters to display. Pads
 *              with '0' or ' ' depending on the set flags;
 * @param flags Printf flags.
 * @param ps    Printing functions.
 *
 * @return The number of characters printed; negative on failure.
 */
static int print_double_fixed(double g, int precision, int width, uint32_t flags,
    printf_spec_t *ps)
{
        if (flags & __PRINTF_FLAG_LEFTALIGNED) {
                flags &= ~__PRINTF_FLAG_ZEROPADDED;
        }

        if (flags & __PRINTF_FLAG_DECIMALPT) {
                flags &= ~__PRINTF_FLAG_NOFRACZEROS;
        }

        ieee_double_t val = extract_ieee_double(g);

        if (val.is_special) {
                return print_special(val, width, flags, ps);
        }

        char buf[MAX_DOUBLE_STR_BUF_SIZE];
        const size_t buf_size = MAX_DOUBLE_STR_BUF_SIZE;
        double_str_t val_str;

        val_str.str = buf;
        val_str.neg = val.is_negative;

        if (0 <= precision) {
                /*
                 * Request one more digit so we can round the result. The last
                 * digit it returns may have an error of at most +/- 1.
                 */
                val_str.len = double_to_fixed_str(val, -1, precision + 1, buf, buf_size,
                    &val_str.dec_exp);

                /*
                 * Round using the last digit to produce precision fractional digits.
                 * If less than precision+1 fractional digits were output the last
                 * digit is definitely inaccurate so also round to get rid of it.
                 */
                fp_round_up(buf, &val_str.len, &val_str.dec_exp);

                /* Rounding could have introduced trailing zeros. */
                if (flags & __PRINTF_FLAG_NOFRACZEROS) {
                        fp_trim_trailing_zeros(buf, &val_str.len, &val_str.dec_exp);
                }
        } else {
                /* Let the implementation figure out the proper precision. */
                val_str.len = double_to_short_str(val, buf, buf_size, &val_str.dec_exp);

                /* Precision needed for the last significant digit. */
                precision = max(0, -val_str.dec_exp);
        }

        return print_double_str_fixed(&val_str, precision, width, flags, ps);
}

/** Prints the decimal exponent part of a %e specifier formatted number. */
static int print_exponent(int exp_val, uint32_t flags, printf_spec_t *ps)
{
        int counter = 0;
        int ret;

        char exp_ch = (flags & __PRINTF_FLAG_BIGCHARS) ? 'E' : 'e';

        if ((ret = ps->str_write(&exp_ch, 1, ps->data)) < 0)
                return -1;

        counter += ret;

        char exp_sign = (exp_val < 0) ? '-' : '+';

        if ((ret = ps->str_write(&exp_sign, 1, ps->data)) < 0)
                return -1;

        counter += ret;

        /* Print the exponent. */
        exp_val = abs(exp_val);

        char exp_str[4] = { 0 };

        exp_str[0] = '0' + exp_val / 100;
        exp_str[1] = '0' + (exp_val % 100) / 10;
        exp_str[2] = '0' + (exp_val % 10);

        int exp_len = (exp_str[0] == '0') ? 2 : 3;
        const char *exp_str_start = &exp_str[3] - exp_len;

        if ((ret = ps->str_write(exp_str_start, exp_len, ps->data)) < 0)
                return -1;

        counter += ret;

        return counter;
}

/** Format and print the double string repressentation according
 *  to the %e specifier.
 */
static int print_double_str_scient(double_str_t *val_str, int precision,
    int width, uint32_t flags, printf_spec_t *ps)
{
        int len = val_str->len;
        int dec_exp = val_str->dec_exp;
        char *buf  = val_str->str;

        assert(0 < len);

        char sign = get_sign_char(val_str->neg, flags);
        bool has_decimal_pt = (0 < precision) || (flags & __PRINTF_FLAG_DECIMALPT);
        int dec_pt_len = has_decimal_pt ? 1 : 0;

        /* Fractional part lengths. */
        int signif_frac_figs = len - 1;
        int trailing_frac_zeros = precision - signif_frac_figs;

        if (flags & __PRINTF_FLAG_NOFRACZEROS) {
                trailing_frac_zeros = 0;
        }

        int frac_len = signif_frac_figs + trailing_frac_zeros;

        int exp_val = dec_exp + len - 1;
        /* Account for exponent sign and 'e'; minimum 2 digits. */
        int exp_len = 2 + (abs(exp_val) >= 100 ? 3 : 2);

        /* Number of non-padding chars to print. */
        int num_len = (sign ? 1 : 0) + 1 + dec_pt_len + frac_len + exp_len;

        int padding_len = max(0, width - num_len);
        int ret = 0;
        int counter = 0;

        if (!(flags & (__PRINTF_FLAG_LEFTALIGNED | __PRINTF_FLAG_ZEROPADDED))) {
                if ((ret = print_padding(' ', padding_len, ps)) < 0)
                        return -1;

                counter += ret;
        }

        if (sign) {
                if ((ret = ps->str_write(&sign, 1, ps->data)) < 0)
                        return -1;

                counter += ret;
        }

        if (flags & __PRINTF_FLAG_ZEROPADDED) {
                if ((ret = print_padding('0', padding_len, ps)) < 0)
                        return -1;

                counter += ret;
        }

        /* Single leading integer. */
        if ((ret = ps->str_write(buf, 1, ps->data)) < 0)
                return -1;

        counter += ret;

        /* Print the decimal point and the fractional part. */
        if (has_decimal_pt) {
                char ch = '.';

                if ((ret = ps->str_write(&ch, 1, ps->data)) < 0)
                        return -1;

                counter += ret;

                /* Print significant digits of the fractional part of the number. */
                if (0 < signif_frac_figs) {
                        if ((ret = ps->str_write(buf + 1, signif_frac_figs, ps->data)) < 0)
                                return -1;

                        counter += ret;
                }

                /* Print trailing zeros of the fractional part of the number. */
                if ((ret = print_padding('0', trailing_frac_zeros, ps)) < 0)
                        return -1;

                counter += ret;
        }

        /* Print the exponent. */
        if ((ret = print_exponent(exp_val, flags, ps)) < 0)
                return -1;

        counter += ret;

        if (flags & __PRINTF_FLAG_LEFTALIGNED) {
                if ((ret = print_padding(' ', padding_len, ps)) < 0)
                        return -1;

                counter += ret;
        }

        return counter;
}

/** Convert, format and print a double according to the %e specifier.
 *
 * Note that if g is large, the output may be huge (3e100 prints
 * with at least 100 digits).
 *
 * %e style: [-]d.dddde+dd
 *  left-justified:  [-]d.dddde+dd[space_pad]
 *  right-justified: [space_pad][-][zero_pad]d.dddde+dd
 *
 * @param g     Double to print.
 * @param precision Number of fractional digits to print, ie
 *              precision + 1 significant digits to display. If 0 no
 *              decimal point will be printed unless the flag
 *              __PRINTF_FLAG_DECIMALPT is specified. If negative
 *              the shortest accurate number will be printed.
 * @param width Minimum number of characters to display. Pads
 *              with '0' or ' ' depending on the set flags;
 * @param flags Printf flags.
 * @param ps    Printing functions.
 *
 * @return The number of characters printed; negative on failure.
 */
static int print_double_scientific(double g, int precision, int width,
    uint32_t flags, printf_spec_t *ps)
{
        if (flags & __PRINTF_FLAG_LEFTALIGNED) {
                flags &= ~__PRINTF_FLAG_ZEROPADDED;
        }

        ieee_double_t val = extract_ieee_double(g);

        if (val.is_special) {
                return print_special(val, width, flags, ps);
        }

        char buf[MAX_DOUBLE_STR_BUF_SIZE];
        const size_t buf_size = MAX_DOUBLE_STR_BUF_SIZE;
        double_str_t val_str;

        val_str.str = buf;
        val_str.neg = val.is_negative;

        if (0 <= precision) {
                /*
                 * Request one more digit (in addition to the leading integer)
                 * so we can round the result. The last digit it returns may
                 * have an error of at most +/- 1.
                 */
                val_str.len = double_to_fixed_str(val, precision + 2, -1, buf, buf_size,
                    &val_str.dec_exp);

                /*
                 * Round the extra digit to produce precision+1 significant digits.
                 * If less than precision+2 significant digits were returned the last
                 * digit is definitely inaccurate so also round to get rid of it.
                 */
                fp_round_up(buf, &val_str.len, &val_str.dec_exp);

                /* Rounding could have introduced trailing zeros. */
                if (flags & __PRINTF_FLAG_NOFRACZEROS) {
                        fp_trim_trailing_zeros(buf, &val_str.len, &val_str.dec_exp);
                }
        } else {
                /* Let the implementation figure out the proper precision. */
                val_str.len = double_to_short_str(val, buf, buf_size, &val_str.dec_exp);

                /* Use all produced digits. */
                precision = val_str.len - 1;
        }

        return print_double_str_scient(&val_str, precision, width, flags, ps);
}

/** Convert, format and print a double according to the %g specifier.
 *
 * %g style chooses between %f and %e.
 *
 * @param g     Double to print.
 * @param precision Number of significant digits to display; excluding
 *              any leading zeros from this count. If negative
 *              the shortest accurate number will be printed.
 * @param width Minimum number of characters to display. Pads
 *              with '0' or ' ' depending on the set flags;
 * @param flags Printf flags.
 * @param ps    Printing functions.
 *
 * @return The number of characters printed; negative on failure.
 */
static int print_double_generic(double g, int precision, int width,
    uint32_t flags, printf_spec_t *ps)
{
        ieee_double_t val = extract_ieee_double(g);

        if (val.is_special) {
                return print_special(val, width, flags, ps);
        }

        char buf[MAX_DOUBLE_STR_BUF_SIZE];
        const size_t buf_size = MAX_DOUBLE_STR_BUF_SIZE;
        int dec_exp;
        int len;

        /* Honor the user requested number of significant digits. */
        if (0 <= precision) {
                /*
                 * Do a quick and dirty conversion of a single digit to determine
                 * the decimal exponent.
                 */
                len = double_to_fixed_str(val, 1, -1, buf, buf_size, &dec_exp);
                assert(0 < len);

                precision = max(1, precision);

                if (-4 <= dec_exp && dec_exp < precision) {
                        precision = precision - (dec_exp + 1);
                        return print_double_fixed(g, precision, width,
                            flags | __PRINTF_FLAG_NOFRACZEROS, ps);
                } else {
                        --precision;
                        return print_double_scientific(g, precision, width,
                            flags | __PRINTF_FLAG_NOFRACZEROS, ps);
                }
        } else {
                /* Convert to get the decimal exponent and digit count. */
                len = double_to_short_str(val, buf, buf_size, &dec_exp);
                assert(0 < len);

                if (flags & __PRINTF_FLAG_LEFTALIGNED) {
                        flags &= ~__PRINTF_FLAG_ZEROPADDED;
                }

                double_str_t val_str;
                val_str.str = buf;
                val_str.len = len;
                val_str.neg = val.is_negative;
                val_str.dec_exp = dec_exp;

                int first_digit_pos = len + dec_exp;
                int last_digit_pos = dec_exp;

                /* The whole number (15 digits max) fits between dec places 15 .. -6 */
                if (len <= 15 && -6 <= last_digit_pos && first_digit_pos <= 15) {
                        /* Precision needed for the last significant digit. */
                        precision = max(0, -val_str.dec_exp);
                        return print_double_str_fixed(&val_str, precision, width, flags, ps);
                } else {
                        /* Use all produced digits. */
                        precision = val_str.len - 1;
                        return print_double_str_scient(&val_str, precision, width, flags, ps);
                }
        }
}

/** Convert, format and print a double according to the specifier.
 *
 * Depending on the specifier it prints the double using the styles
 * %g, %f or %e by means of print_double_generic(), print_double_fixed(),
 * print_double_scientific().
 *
 * @param g     Double to print.
 * @param spec  Specifier of the style to print in; one of: 'g','G','f','F',
 *              'e','E'.
 * @param precision Number of fractional digits to display. If negative
 *              the shortest accurate number will be printed for style %g;
 *              negative precision defaults to 6 for styles %f, %e.
 * @param width Minimum number of characters to display. Pads
 *              with '0' or ' ' depending on the set flags;
 * @param flags Printf flags.
 * @param ps    Printing functions.
 *
 * @return The number of characters printed; negative on failure.
 */
static int print_double(double g, char spec, int precision, int width,
    uint32_t flags, printf_spec_t *ps)
{
        switch (spec) {
        case 'F':
                flags |= __PRINTF_FLAG_BIGCHARS;
                /* Fallthrough */
        case 'f':
                precision = (precision < 0) ? 6 : precision;
                return print_double_fixed(g, precision, width, flags, ps);

        case 'E':
                flags |= __PRINTF_FLAG_BIGCHARS;
                /* Fallthrough */
        case 'e':
                precision = (precision < 0) ? 6 : precision;
                return print_double_scientific(g, precision, width, flags, ps);

        case 'G':
                flags |= __PRINTF_FLAG_BIGCHARS;
                /* Fallthrough */
        case 'g':
                return print_double_generic(g, precision, width, flags, ps);

        default:
                assert(false);
                return -1;
        }
}

#endif

/** Print formatted string.
 *
 * Print string formatted according to the fmt parameter and variadic arguments.
 * Each formatting directive must have the following form:
 *
 *  \% [ FLAGS ] [ WIDTH ] [ .PRECISION ] [ TYPE ] CONVERSION
 *
 * FLAGS:@n
 *  - "#" Force to print prefix. For \%o conversion, the prefix is 0, for
 *        \%x and \%X prefixes are 0x and 0X and for conversion \%b the
 *        prefix is 0b.
 *
 *  - "-" Align to left.
 *
 *  - "+" Print positive sign just as negative.
 *
 *  - " " If the printed number is positive and "+" flag is not set,
 *        print space in place of sign.
 *
 *  - "0" Print 0 as padding instead of spaces. Zeroes are placed between
 *        sign and the rest of the number. This flag is ignored if "-"
 *        flag is specified.
 *
 * WIDTH:@n
 *  - Specify the minimal width of a printed argument. If it is bigger,
 *    width is ignored. If width is specified with a "*" character instead of
 *    number, width is taken from parameter list. And integer parameter is
 *    expected before parameter for processed conversion specification. If
 *    this value is negative its absolute value is taken and the "-" flag is
 *    set.
 *
 * PRECISION:@n
 *  - Value precision. For numbers it specifies minimum valid numbers.
 *    Smaller numbers are printed with leading zeroes. Bigger numbers are not
 *    affected. Strings with more than precision characters are cut off. Just
 *    as with width, an "*" can be used used instead of a number. An integer
 *    value is then expected in parameters. When both width and precision are
 *    specified using "*", the first parameter is used for width and the
 *    second one for precision.
 *
 * TYPE:@n
 *  - "hh" Signed or unsigned char.@n
 *  - "h"  Signed or unsigned short.@n
 *  - ""   Signed or unsigned int (default value).@n
 *  - "l"  Signed or unsigned long int.@n
 *         If conversion is "c", the character is wint_t (wide character).@n
 *         If conversion is "s", the string is char32_t * (wide string).@n
 *  - "ll" Signed or unsigned long long int.@n
 *  - "z"  Signed or unsigned ssize_t or site_t.@n
 *
 * CONVERSION:@n
 *  - % Print percentile character itself.
 *
 *  - c Print single character. The character is expected to be plain
 *      ASCII (e.g. only values 0 .. 127 are valid).@n
 *      If type is "l", then the character is expected to be wide character
 *      (e.g. values 0 .. 0x10ffff are valid).
 *
 *  - s Print zero terminated string. If a NULL value is passed as
 *      value, "(NULL)" is printed instead.@n
 *      If type is "l", then the string is expected to be wide string.
 *
 *  - P, p Print value of a pointer. Void * value is expected and it is
 *         printed in hexadecimal notation with prefix (as with
 *         \%#0.8X / \%#0.8x for 32-bit or \%#0.16lX / \%#0.16lx for 64-bit
 *         long pointers).
 *
 *  - b Print value as unsigned binary number. Prefix is not printed by
 *      default. (Nonstandard extension.)
 *
 *  - o Print value as unsigned octal number. Prefix is not printed by
 *      default.
 *
 *  - d, i Print signed decimal number. There is no difference between d
 *         and i conversion.
 *
 *  - u Print unsigned decimal number.
 *
 *  - X, x Print hexadecimal number with upper- or lower-case. Prefix is
 *         not printed by default.
 *
 * All other characters from fmt except the formatting directives are printed
 * verbatim.
 *
 * @param fmt Format NULL-terminated string.
 *
 * @return Number of characters printed, negative value on failure.
 *
 */
int printf_core(const char *fmt, printf_spec_t *ps, va_list ap)
{
        size_t i;        /* Index of the currently processed character from fmt */
        size_t nxt = 0;  /* Index of the next character from fmt */
        size_t j = 0;    /* Index to the first not printed nonformating character */

        size_t counter = 0;   /* Number of characters printed */
        int retval;           /* Return values from nested functions */

        while (true) {
                i = nxt;
                char32_t uc = str_decode(fmt, &nxt, STR_NO_LIMIT);

                if (uc == 0)
                        break;

                /* Control character */
                if (uc == '%') {
                        /* Print common characters if any processed */
                        if (i > j) {
                                if ((retval = printf_putnchars(&fmt[j], i - j, ps)) < 0) {
                                        /* Error */
                                        counter = -counter;
                                        goto out;
                                }
                                counter += retval;
                        }

                        j = i;

                        /* Parse modifiers */
                        uint32_t flags = 0;
                        bool end = false;

                        do {
                                i = nxt;
                                uc = str_decode(fmt, &nxt, STR_NO_LIMIT);
                                switch (uc) {
                                case '#':
                                        flags |= __PRINTF_FLAG_PREFIX;
                                        flags |= __PRINTF_FLAG_DECIMALPT;
                                        break;
                                case '-':
                                        flags |= __PRINTF_FLAG_LEFTALIGNED;
                                        break;
                                case '+':
                                        flags |= __PRINTF_FLAG_SHOWPLUS;
                                        break;
                                case ' ':
                                        flags |= __PRINTF_FLAG_SPACESIGN;
                                        break;
                                case '0':
                                        flags |= __PRINTF_FLAG_ZEROPADDED;
                                        break;
                                default:
                                        end = true;
                                }
                        } while (!end);

                        /* Width & '*' operator */
                        int width = 0;
                        if (isdigit(uc)) {
                                while (true) {
                                        width *= 10;
                                        width += uc - '0';

                                        i = nxt;
                                        uc = str_decode(fmt, &nxt, STR_NO_LIMIT);
                                        if (uc == 0)
                                                break;
                                        if (!isdigit(uc))
                                                break;
                                }
                        } else if (uc == '*') {
                                /* Get width value from argument list */
                                i = nxt;
                                uc = str_decode(fmt, &nxt, STR_NO_LIMIT);
                                width = (int) va_arg(ap, int);
                                if (width < 0) {
                                        /* Negative width sets '-' flag */
                                        width *= -1;
                                        flags |= __PRINTF_FLAG_LEFTALIGNED;
                                }
                        }

                        /* Precision and '*' operator */
                        int precision = -1;
                        if (uc == '.') {
                                i = nxt;
                                uc = str_decode(fmt, &nxt, STR_NO_LIMIT);
                                if (isdigit(uc)) {
                                        precision = 0;
                                        while (true) {
                                                precision *= 10;
                                                precision += uc - '0';

                                                i = nxt;
                                                uc = str_decode(fmt, &nxt, STR_NO_LIMIT);
                                                if (uc == 0)
                                                        break;
                                                if (!isdigit(uc))
                                                        break;
                                        }
                                } else if (uc == '*') {
                                        /* Get precision value from the argument list */
                                        i = nxt;
                                        uc = str_decode(fmt, &nxt, STR_NO_LIMIT);
                                        precision = (int) va_arg(ap, int);
                                        if (precision < 0) {
                                                /* Ignore negative precision - use default instead */
                                                precision = -1;
                                        }
                                }
                        }

                        qualifier_t qualifier;

                        switch (uc) {
                        case 't':
                                /* ptrdiff_t */
                                if (sizeof(ptrdiff_t) == sizeof(int32_t))
                                        qualifier = PrintfQualifierInt;
                                else
                                        qualifier = PrintfQualifierLongLong;
                                i = nxt;
                                uc = str_decode(fmt, &nxt, STR_NO_LIMIT);
                                break;
                        case 'h':
                                /* Char or short */
                                qualifier = PrintfQualifierShort;
                                i = nxt;
                                uc = str_decode(fmt, &nxt, STR_NO_LIMIT);
                                if (uc == 'h') {
                                        i = nxt;
                                        uc = str_decode(fmt, &nxt, STR_NO_LIMIT);
                                        qualifier = PrintfQualifierByte;
                                }
                                break;
                        case 'l':
                                /* Long or long long */
                                qualifier = PrintfQualifierLong;
                                i = nxt;
                                uc = str_decode(fmt, &nxt, STR_NO_LIMIT);
                                if (uc == 'l') {
                                        i = nxt;
                                        uc = str_decode(fmt, &nxt, STR_NO_LIMIT);
                                        qualifier = PrintfQualifierLongLong;
                                }
                                break;
                        case 'z':
                                qualifier = PrintfQualifierSize;
                                i = nxt;
                                uc = str_decode(fmt, &nxt, STR_NO_LIMIT);
                                break;
                        case 'j':
                                qualifier = PrintfQualifierMax;
                                i = nxt;
                                uc = str_decode(fmt, &nxt, STR_NO_LIMIT);
                                break;
                        default:
                                /* Default type */
                                qualifier = PrintfQualifierInt;
                        }

                        unsigned int base = 10;

                        switch (uc) {
                                /*
                                 * String and character conversions.
                                 */
                        case 's':
                                precision = max(0,  precision);

                                if (qualifier == PrintfQualifierLong)
                                        retval = print_wstr(va_arg(ap, char32_t *), width, precision, flags, ps);
                                else
                                        retval = print_str(va_arg(ap, char *), width, precision, flags, ps);

                                if (retval < 0) {
                                        counter = -counter;
                                        goto out;
                                }

                                counter += retval;
                                j = nxt;
                                continue;
                        case 'c':
                                if (qualifier == PrintfQualifierLong)
                                        retval = print_wchar(va_arg(ap, wint_t), width, flags, ps);
                                else
                                        retval = print_char(va_arg(ap, unsigned int), width, flags, ps);

                                if (retval < 0) {
                                        counter = -counter;
                                        goto out;
                                }

                                counter += retval;
                                j = nxt;
                                continue;

#ifdef HAS_FLOAT
                                /*
                                 * Floating point values
                                 */
                        case 'G':
                        case 'g':
                        case 'F':
                        case 'f':
                        case 'E':
                        case 'e':
                                retval = print_double(va_arg(ap, double), uc, precision,
                                    width, flags, ps);

                                if (retval < 0) {
                                        counter = -counter;
                                        goto out;
                                }

                                counter += retval;
                                j = nxt;
                                continue;
#endif

                                /*
                                 * Integer values
                                 */
                        case 'P':
                                /* Pointer */
                                flags |= __PRINTF_FLAG_BIGCHARS;
                                /* Fallthrough */
                        case 'p':
                                flags |= __PRINTF_FLAG_PREFIX;
                                flags |= __PRINTF_FLAG_ZEROPADDED;
                                base = 16;
                                qualifier = PrintfQualifierPointer;
                                break;
                        case 'b':
                                base = 2;
                                break;
                        case 'o':
                                base = 8;
                                break;
                        case 'd':
                        case 'i':
                                flags |= __PRINTF_FLAG_SIGNED;
                                /* Fallthrough */
                        case 'u':
                                break;
                        case 'X':
                                flags |= __PRINTF_FLAG_BIGCHARS;
                                /* Fallthrough */
                        case 'x':
                                base = 16;
                                break;

                        case '%':
                                /* Percentile itself */
                                j = i;
                                continue;

                                /*
                                 * Bad formatting.
                                 */
                        default:
                                /*
                                 * Unknown format. Now, j is the index of '%'
                                 * so we will print whole bad format sequence.
                                 */
                                continue;
                        }

                        /* Print integers */
                        size_t size;
                        uint64_t number;

                        switch (qualifier) {
                        case PrintfQualifierByte:
                                size = sizeof(unsigned char);
                                number = PRINTF_GET_INT_ARGUMENT(int, ap, flags);
                                break;
                        case PrintfQualifierShort:
                                size = sizeof(unsigned short);
                                number = PRINTF_GET_INT_ARGUMENT(int, ap, flags);
                                break;
                        case PrintfQualifierInt:
                                size = sizeof(unsigned int);
                                number = PRINTF_GET_INT_ARGUMENT(int, ap, flags);
                                break;
                        case PrintfQualifierLong:
                                size = sizeof(unsigned long);
                                number = PRINTF_GET_INT_ARGUMENT(long, ap, flags);
                                break;
                        case PrintfQualifierLongLong:
                                size = sizeof(unsigned long long);
                                number = PRINTF_GET_INT_ARGUMENT(long long, ap, flags);
                                break;
                        case PrintfQualifierPointer:
                                size = sizeof(void *);
                                precision = size << 1;
                                number = (uint64_t) (uintptr_t) va_arg(ap, void *);
                                break;
                        case PrintfQualifierSize:
                                size = sizeof(size_t);
                                number = (uint64_t) va_arg(ap, size_t);
                                break;
                        case PrintfQualifierMax:
                                size = sizeof(uintmax_t);
                                number = (uint64_t) va_arg(ap, uintmax_t);
                                break;
                        default:
                                /* Unknown qualifier */
                                counter = -counter;
                                goto out;
                        }

                        if ((retval = print_number(number, width, precision,
                            base, flags, ps)) < 0) {
                                counter = -counter;
                                goto out;
                        }

                        counter += retval;
                        j = nxt;
                }
        }

        if (i > j) {
                if ((retval = printf_putnchars(&fmt[j], i - j, ps)) < 0) {
                        /* Error */
                        counter = -counter;
                        goto out;
                }
                counter += retval;
        }

out:
        return ((int) counter);
}

/** @}
 */

/* [<][>][^][v][top][bottom][index][help] */
HelenOS homepage, sources at GitHub