Enable seer test
Fix integer size errors