modified for translation with [inttlib]