Symbol: z8536_read_counter1