#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

int fill_pkt_buffer(char*);

int main(int argc, char **argv){
	char* mystring;
        printf("hello");
        char* buffer = "hello world!";
	
	int result = fill_pkt_buffer(buffer);

	printf("finish! return: %d\n", result);

	return 0;
}

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>


int __attribute__((__fastcall__)) fill_pkt_buffer(char*);


int main(int argc, char **argv){
	char* mystring;
        printf("hello");
        char* buffer = "hello world!";
	
	int result = fill_pkt_buffer(buffer);

	printf("finish! return: %d\n", result);

	return 0;
}