int rest = ES_Identify((signed_blob*)menu_certs_bin, menu_certs_bin_size, (signed_blob*)menu_tmd_bin, menu_tmd_bin_size, (signed_blob*)menu_tik_bin, menu_tik_bin_size, 0);

	printf("ES_Identify returned %d\n", rest);
	u64 titleID ATTRIBUTE_ALIGN(32);
	ES_GetTitleID(&titleID);
	printf("I am: %llx\n", titleID);

	static char tmptest[] ATTRIBUTE_ALIGN(32) = "/tmp/xxx";
	static char abc[] ATTRIBUTE_ALIGN(32) = "abc";

	ISFS_Initialize();
	printf("cf: %d\n", ISFS_CreateFile(tmptest, 0, 0xff, 0xff, 0xff));
	s32 a = ISFS_Open(tmptest, ISFS_OPEN_WRITE);
	fstats stats ATTRIBUTE_ALIGN(32);
	printf("a: %d\n", a);
	printf("w: %d\n", ISFS_Write(a, abc, 3));
	printf("c: %d\n", ISFS_Close(a));
	a = ISFS_Open(tmptest, ISFS_OPEN_READ);
	printf("[2] a: %d\n", a);
	printf("stats: %d\n", ISFS_GetFileStats(a, &stats));
	printf("c: %d\n", ISFS_Close(a));