Bugfix: load128 should not be pessimistically tainted