#include <stdio.h>
#include <stdint.h>


int main( int argc, char *argv[] )
{
    double a = 1.;
    intptr_t *b = (intptr_t*)&a;
    printf("%d %d\n", b[0], b[1]);
    return 0;
}