definition module pdExtInt;

import StdEnv;

/*
hexdigit :: !Int -> !Char;
hex :: !Int -> !String;
hex_byte :: !Char -> !String;
*/
hex :: !Int -> !String;
hex_int :: !Int -> !String;

FromStringToIntU :: !*{#Char} !Int -> (!Int,!*{#Char});

FromIntToString :: !Int -> !String;
FromStringToInt :: !String !Int -> !Int;
print_string :: !String -> !String;
hex_int_without_prefixed_zeroes :: !Int -> !String;
WriteLong :: !*{#Char} !Int !Int -> !*{#Char};