#include <stdio.h>
#include <string.h>

extern int strlen_asm(char *s);
extern int strnlen_asm(char *s, int n);

int main(void) {
	int N=2002, len;
	char str1[N], strnum[N];
	char *ret;
	while(1) {
		ret = fgets(str1, sizeof(str1), stdin);	// vrati aj \n na konci
		if (!ret) break;
		if (str1[strlen(str1)-1]=='\n') str1[strlen(str1)-1]=0;

		ret = fgets(strnum, sizeof(strnum), stdin);	// vrati aj \n na konci
		if (!ret) break;
		if (1 != sscanf(strnum, "%d\n", &len)) break;

		printf("strlen: %ld\tstrlen_asm: %d\tstrnlen_asm: %d\n", strlen(str1), strlen_asm(str1), strnlen_asm(str1, len));
	}
	return 0;
}