#include <stdio.h>

void print_string(char *string);
void print_hex(int number);
void print_double(double fpnum);

int main(int argc, char *argv[])
{
        print_string("hello world\n");
        print_hex(0x9abcdef);
        print_string("\n");
        print_double(-0.123456);
        print_string("\n");
        print_double(9.99996);
        print_string("\n");
        print_double(-0.0999998);
        print_string("\n");
        print_double(0.999997);
        print_string("\n");
        print_double(-0.0);
        print_string("\n");
        print_double(9.99999E99);
        print_string("\n");
}
