What's with the void casts?

Shouldn't 13 be 8.3 as the comment says, not just chopped off at 13 chars?

-[Unknown]