I have put getTokens into a separate header file