Add static_assert. Fix bug in the LP64 case.