short_types: fix example for 64 bit platforms