def read_all_adc(f: int) -> List[int]: ...