Avoid a %lu mismatch by forcing the type to 64bit
No need for padding here