// Compile this as:
//
//     gcc -shared -o plugin1.so 12_dload_plugin1.c
//
// This will give you plugin1.so which can be given to 12_dload like so:
//
//     ./12_dload ./plugin1.so 10

#include <stdio.h>

int plugin_func(int x) {
	printf("in plugin1! I was passed %d.\n", x);
	return x * 2;
}