Issue #2. Fixed timer type in picoapp.c