target: Use proper data types for timer callback