char *malloc(int len) len ;
int gets(char *buf) buf ;