printf "%d", [3.4];