@DIV
#include "stdio.h"

int main(int argc, char* argv[])
{
	char data[] = "12345678901234567890\0\0\0";
	int *ptr;
	ptr = (int *)data;

	while( 1 ) {
		if ( (*ptr) == 0x00 ) {
			break;
		}
		printf( "%s\n", ptr );
		ptr++;
	}

	return 0;
}
@END