icepole128v2/ref/icepole.c
void store64(unsigned char * p, uint64_t v, unsigned int len)
{
    unsigned int i;
    assert(len <= 8);
    for (i=0; i<len; ++i) {
        p[i] = (unsigned char) (v >> (8*i));
    }
}
/* little endian store of up len bytes from the value v */
little endian store of up len bytes from the value v
little endian store of up len bytes from the value v
void store64(unsigned char * p, uint64_t v, unsigned int len)
{
    unsigned int i;
    assert(len <= 8);
    for (i=0; i<len; ++i) {
        p[i] = (unsigned char) (v >> (8*i));
    }
}
void store64 ( unsigned char * p , uint64_t v , unsigned int len ) { unsigned int i ; assert ( len <= 8 ) ; for ( i = 0 ; i < len ; ++ i ) { p [ i ] = ( unsigned char ) ( v >> ( 8 * i ) ) ; } }
little endian store of up len bytes from the value v
little endian store of up len bytes from the value v