More tests enabled in test64.sh.