def _atomReprAsHex(s: str) -> str:
    """Translate CLVM integer atom repr to a 0x-prefixed hex string."""
    if s.startswith("0x"):
        return s
    elif s.startswith('"'):
        return "0x" + s[1:-1].encode("ascii").hex()
    return hex(int(s))