#include "mylib.h"

void use_printer(printer_t p)
{
  p(14);
}