#include <inttypes.h>
#include <stdio.h>
#include "Clean.h"
#include "producer.h"

int* produce(int* n)
{
    n = (int*) ((int64_t) n << 1);
    printf("%20p - ", n);
    return n;
}