// In p1.cc   Does not compile on my laptop, because sizeof(int) is 4.

#include <iostream>
#include <string>

static_assert(sizeof(int)==8, "Assuming that 8 bytes are used for int");

int main(){
}