x13: use tsiv hamsi implementation (+70KH)