shift-02.c

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

int main (void)
{
  uint64_t a0 = 5;
  int tomp = 0;
  printf ("%" PRId64 "\n", a0 >> (64 - tomp));
  return 0;
}