; RUN: analyze %s -tddatastructure

implementation

int *%foo(int *%A, int **%B, int *%C, int **%D, int* %E) {
	%a = load int* %A
	%b = load int** %B

	store int* %C, int** %D

	ret int* %E
}