from typing_extensions import Literal def add(buffer: bytes, entropy: int) -> None: ... def status() -> Literal[0, 1]: ...