fix error: integer constant is too large for its type