void send_receipt_request(void **state);