printf "%d\n", 2**(<> -3)*<>;