#include "lib.h"

int test(const int a){

  return printf("input: %d\n", a);

}