def get_check_bytes(checksum_raw):
    """
    Given a raw Fletcher16 checksum, returns the two corresponding check bytes in an array of bytes.
    """
    f0 = checksum_raw & 0xff
    f1 = (checksum_raw >> 8) & 0xff
    c0 = 0xff - ((f0 + f1) % 0xff)
    c1 = 0xff - ((f0 + c0) % 0xff)
    return bytes([c0, c1])