chipKIT Timer library