rt_dev_ioctl(rightbusfd, RTSMT_RTIOC_READ, &rightReadBuf);

%(retrieve_code)s