Support the truncate64 syscall.

Resolves #578.