Symbol: z8536_read_counter2