summaryrefslogtreecommitdiffstats
path: root/test/flush2.c
diff options
context:
space:
mode:
authorQuincey Koziol <koziol@hdfgroup.org>2017-01-02 20:09:34 (GMT)
committerQuincey Koziol <koziol@hdfgroup.org>2017-01-02 20:09:34 (GMT)
commitedd3ff309894decb3eaabce5c91b24f89286d177 (patch)
tree227b964a6b8cb722e4099a67a526c4d68a48901c /test/flush2.c
parentce3877d298b23e9007424e0707206fc91f8a1328 (diff)
parent969586deea0e1ccaa0bbbaed2b9222ca4d7c804d (diff)
downloadhdf5-edd3ff309894decb3eaabce5c91b24f89286d177.zip
hdf5-edd3ff309894decb3eaabce5c91b24f89286d177.tar.gz
hdf5-edd3ff309894decb3eaabce5c91b24f89286d177.tar.bz2
Merge branch 'develop' of https://bitbucket.hdfgroup.org/scm/hdffv/hdf5 into develop_merge_cache_image_04
Diffstat (limited to 'test/flush2.c')
-rw-r--r--test/flush2.c531
1 files changed, 290 insertions, 241 deletions
diff --git a/test/flush2.c b/test/flush2.c
index 3f4328a..ce3b3e7 100644
--- a/test/flush2.c
+++ b/test/flush2.c
@@ -24,6 +24,11 @@
*/
#include "h5test.h"
+/* This file needs to access the file driver testing code */
+#define H5FD_FRIEND /*suppress error about including H5FDpkg */
+#define H5FD_TESTING
+#include "H5FDpkg.h" /* File drivers */
+
/* Make this private property (defined in H5Fprivate.h) available */
/* This is used in the helper routine clear_status_flags() */
#define H5F_ACS_CLEAR_STATUS_FLAGS_NAME "clear_status_flags"
@@ -41,354 +46,398 @@ const char *FILENAME[] = {
NULL
};
-static double the_data[100][100];
+/* Number and size of dataset dims, chunk size, etc. */
+#define NELEMENTS 10000
+#define FIRST_DSET_NAME "dset1"
+#define SECOND_DSET_NAME "dset2"
+
+/* Number of sub-groups created in the containing group */
+#define NGROUPS 100
+static hbool_t dset_ok(hid_t fid, const char *dset_name);
+static hbool_t file_ok(const char *filename, hid_t fapl_id, hbool_t check_second_dset);
+
+
/*-------------------------------------------------------------------------
- * Function: check_dset
+ * Function: dset_ok
*
- * Purpose: Part 2 of a two-part H5Fflush() test, checks if the data in a dataset
- * is what it is supposed to be.
+ * Purpose: Checks if the data in a dataset is what it is supposed to be.
*
- * Return: Success: 0
- *
- * Failure: 1
+ * Return: TRUE/FALSE
*
* Programmer: Leon Arber
* Oct. 4, 2006.
*
*-------------------------------------------------------------------------
*/
-static int
-check_dset(hid_t file, const char* name)
+static hbool_t
+dset_ok(hid_t fid, const char *dset_name)
{
- hid_t space, dset;
- hsize_t ds_size[2] = {100, 100};
- double error;
- size_t i, j;
-
- /* Open the dataset */
- if((dset = H5Dopen2(file, name, H5P_DEFAULT)) < 0) goto error;
- if((space = H5Dget_space(dset)) < 0) goto error;
- if(H5Sget_simple_extent_dims(space, ds_size, NULL) < 0) goto error;
- assert(100 == ds_size[0] && 100 == ds_size[1]);
-
- /* Read some data */
- if(H5Dread(dset, H5T_NATIVE_DOUBLE, space, space, H5P_DEFAULT, the_data) < 0) goto error;
- for(i = 0; i < (size_t)ds_size[0]; i++)
- for(j = 0; j < (size_t)ds_size[1]; j++) {
- error = HDfabs(the_data[i][j] - (double)i / (double)(j + 1));
- if(error > (double)0.0001F) {
- H5_FAILED();
- printf(" dset[%lu][%lu] = %g\n",
- (unsigned long)i, (unsigned long)j, the_data[i][j]);
- printf(" should be %g\n", (double)i / (double)(j + 1));
- goto error;
- }
- }
- if(H5Dclose(dset) < 0) goto error;
- return 0;
+ hid_t sid = -1; /* dataspace ID */
+ hid_t did = -1; /* dataset ID */
+ int *data = NULL; /* data buffer */
+ hsize_t dims[1] = {0}; /* size of dataset */
+ int i; /* iterator */
+
+ /* Open the dataset and check size */
+ if((did = H5Dopen2(fid, dset_name, H5P_DEFAULT)) < 0)
+ goto error;
+ if((sid = H5Dget_space(did)) < 0)
+ goto error;
+ if(H5Sget_simple_extent_dims(sid, dims, NULL) < 0)
+ goto error;
+ if(dims[0] != NELEMENTS)
+ goto error;
+
+ /* Read the data */
+ if(NULL == (data = (int *)HDcalloc((size_t)NELEMENTS, sizeof(int))))
+ goto error;
+ if(H5Dread(did, H5T_NATIVE_INT, sid, sid, H5P_DEFAULT, data) < 0)
+ goto error;
+ for(i = 0; i < NELEMENTS; i++)
+ if(i != data[i])
+ goto error;
+
+ if(H5Sclose(sid) < 0)
+ goto error;
+ if(H5Dclose(did) < 0)
+ goto error;
+
+ HDfree(data);
+
+ return TRUE;
error:
- return 1;
-}
+ H5E_BEGIN_TRY {
+ H5Sclose(sid);
+ H5Dclose(did);
+ } H5E_END_TRY;
+
+ HDfree(data);
+
+ return FALSE;
+} /* end dset_ok() */
/*-------------------------------------------------------------------------
- * Function: check_file
- *
- * Purpose: Part 2 of a two-part H5Fflush() test.
+ * Function: file_ok
*
- * Return: Success: 0
+ * Purpose: Checks that the contents of a file are what they should be.
*
- * Failure: 1
+ * Return: TRUE/FALSE
*
* Programmer: Leon Arber
* Sept. 26, 2006.
*
*-------------------------------------------------------------------------
*/
-static int
-check_file(char* filename, hid_t fapl, int flag)
+static hbool_t
+file_ok(const char *filename, hid_t fapl_id, hbool_t check_second_dset)
{
- hid_t file = -1, groups = -1;
- char name[1024];
- int i;
-
- if((file = H5Fopen(filename, H5F_ACC_RDONLY, fapl)) < 0) goto error;
- if(check_dset(file, "dset")) goto error;
-
- /* Open some groups */
- if((groups = H5Gopen2(file, "some_groups", H5P_DEFAULT)) < 0) goto error;
- for(i = 0; i < 100; i++) {
- hid_t grp;
- sprintf(name, "grp%02u", (unsigned)i);
- if((grp = H5Gopen2(groups, name, H5P_DEFAULT)) < 0) goto error;
- if(H5Gclose(grp) < 0) goto error;
- } /* end for */
+ hid_t fid = -1; /* file ID */
+ hid_t top_gid = -1; /* containing group ID */
+ hid_t gid = -1; /* subgroup ID */
+ char group_name[16]; /* group name */
+ int i; /* iterator */
+
+ /* open file */
+ if((fid = H5Fopen(filename, H5F_ACC_RDONLY, fapl_id)) < 0)
+ goto error;
+
+ /* check datasets */
+ if(!dset_ok(fid, FIRST_DSET_NAME))
+ goto error;
+ if(check_second_dset)
+ if(!dset_ok(fid, SECOND_DSET_NAME))
+ goto error;
- /* Check to see if that last added dataset in the third file is accessible
- * (it shouldn't be...but it might. Flag an error in case it is for now */
- if(flag && check_dset(file, "dset2")) goto error;
+ /* check groups */
+ if((top_gid = H5Gopen2(fid, "top_group", H5P_DEFAULT)) < 0)
+ goto error;
+ for(i = 0; i < NGROUPS; i++) {
+ HDsprintf(group_name, "group%02d", i);
+ if((gid = H5Gopen2(top_gid, group_name, H5P_DEFAULT)) < 0)
+ goto error;
+ if(H5Gclose(gid) < 0)
+ goto error;
+ } /* end for */
- if(H5Gclose(groups) < 0) goto error;
- if(H5Fclose(file) < 0) goto error;
+ if(H5Gclose(top_gid) < 0)
+ goto error;
+ if(H5Fclose(fid) < 0)
+ goto error;
- return 0;
+ return TRUE;
error:
H5E_BEGIN_TRY {
- H5Gclose(groups);
- H5Fclose(file);
+ H5Gclose(top_gid);
+ H5Gclose(gid);
+ H5Fclose(fid);
} H5E_END_TRY;
- return 1;
-} /* end check_file() */
+ return FALSE;
+} /* end file_ok() */
/*-------------------------------------------------------------------------
- * Function: clear_status_flags
+ * Function: clear_status_flags
*
- * Purpose: To clear the status_flags in the superblock of the file.
- * It is smilar to the tool "h5clear".
+ * Purpose: Clears the status_flags in the superblock of the file.
+ * It is smilar to the tool "h5clear".
*
- * Return: Success: 0
- * Failure: 1
+ * Return: SUCCEED/FAIL
*
- * Programmer: Vailin Choi
+ * Programmer: Vailin Choi
* July 2013
*
*-------------------------------------------------------------------------
*/
-static int
-clear_status_flags(char *name, hid_t fapl)
+static herr_t
+clear_status_flags(const char *filename, hid_t fapl_id)
{
- hid_t new_fapl = -1;
- hid_t fid = -1;
+ hid_t new_fapl_id = -1; /* copy of the file access plist ID */
+ hid_t fid = -1; /* file ID */
hbool_t clear = TRUE;
/* Get a copy of fapl */
- if((new_fapl = H5Pcopy(fapl)) < 0)
- FAIL_STACK_ERROR;
+ if((new_fapl_id = H5Pcopy(fapl_id)) < 0)
+ goto error;
/* Set this private property */
- if(H5Pset(new_fapl, H5F_ACS_CLEAR_STATUS_FLAGS_NAME, &clear) < 0)
- FAIL_STACK_ERROR;
+ if(H5Pset(new_fapl_id, H5F_ACS_CLEAR_STATUS_FLAGS_NAME, &clear) < 0)
+ goto error;
/* Has to open rw */
- if((fid = H5Fopen(name, H5F_ACC_RDWR, new_fapl)) < 0)
- FAIL_STACK_ERROR;
+ if((fid = H5Fopen(filename, H5F_ACC_RDWR, new_fapl_id)) < 0)
+ goto error;
+
+ /* CLose the property list */
+ if(H5Pclose(new_fapl_id) < 0)
+ goto error;
/* Close the file */
if(H5Fclose(fid) < 0)
- FAIL_STACK_ERROR;
-
- /* CLose the property list */
- if(H5Pclose(new_fapl) < 0)
- FAIL_STACK_ERROR;
+ goto error;
- return 0;
+ return SUCCEED;
error:
- return 1;
-} /* clear_status_flags() */
+ H5E_BEGIN_TRY {
+ H5Pclose(new_fapl_id);
+ H5Fclose(fid);
+ } H5E_END_TRY;
+
+ return FAIL;
+} /* end clear_status_flags() */
/*-------------------------------------------------------------------------
* Function: main
*
- * Purpose: Part 2 of a two-part H5Fflush() test.
- *
- * Return: Success: 0
+ * Purpose: Confirms file contents in a variety of flush scenarios.
+ * Part 2 of a two-part H5Fflush() test.
*
- * Failure: 1
+ * Return: EXIT_SUCCESS/EXIT_FAILURE
*
* Programmer: Robb Matzke
* Friday, October 23, 1998
*
- * Modifications:
- * Leon Arber
- * Sept. 26, 2006, expand to check for case where the was file not flushed.
- *
*-------------------------------------------------------------------------
*/
int
main(void)
{
- hid_t fapl;
- H5E_auto2_t func;
- char name[1024];
+ char *driver = NULL; /* name of current VFD (from env var) */
+ hbool_t vfd_supports_swmr; /* whether the current VFD supports SWMR */
+ hid_t fapl_id = -1; /* file access proplist ID */
+ char filename[1024]; /* filename */
+ hbool_t check_second_dset; /* whether or not to check the second dset */
+ H5E_auto2_t func; /* for shutting off error reporting */
h5_reset();
- fapl = h5_fileaccess();
- TESTING("H5Fflush (part2 with flush)");
+ if((fapl_id = h5_fileaccess()) < 0)
+ PUTS_ERROR("bad vfd-dependent fapl")
- /* Check the case where the file was flushed */
- h5_fixname(FILENAME[0], fapl, name, sizeof name);
+ /* Check if the current VFD supports SWMR */
+ driver = HDgetenv("HDF5_DRIVER");
+ vfd_supports_swmr = H5FD_supports_swmr_test(driver);
- if(check_file(name, fapl, FALSE)) {
- H5_FAILED()
- goto error;
- }
+ /* TEST 1 */
+ /* Check the case where the file was flushed */
+ TESTING("H5Fflush (part2 with flush)");
+ h5_fixname(FILENAME[0], fapl_id, filename, sizeof(filename));
+ check_second_dset = FALSE;
+ if(file_ok(filename, fapl_id, check_second_dset))
+ PASSED()
else
- PASSED();
-
+ TEST_ERROR
+ /* TEST 2 */
+ /* Check the case where the file was flushed (w/SWMR) */
TESTING("H5Fflush (part2 with flush + SWMR)");
-
- /* Check the case where the file was flushed w/SWMR */
- h5_fixname(FILENAME[1], fapl, name, sizeof name);
-
- /* Clear the status_flags of the file which is flushed and exited in flush1.c */
- if(clear_status_flags(name, fapl) < 0) {
- H5_FAILED()
- goto error;
- }
-
- if(check_file(name, fapl, FALSE)) {
- H5_FAILED()
- goto error;
- }
+ if(vfd_supports_swmr) {
+ h5_fixname(FILENAME[1], fapl_id, filename, sizeof(filename));
+ check_second_dset = FALSE;
+ if(clear_status_flags(filename, fapl_id) < 0)
+ TEST_ERROR
+ if(file_ok(filename, fapl_id, check_second_dset))
+ PASSED()
+ else
+ TEST_ERROR
+ } /* end if */
else
- PASSED();
+ SKIPPED()
-
- /* Check the case where the file was not flushed. This should give an error
- * so we turn off the error stack temporarily */
+ /* TEST 3 */
+ /* Check the case where the file was not flushed */
TESTING("H5Fflush (part2 without flush)");
- H5Eget_auto2(H5E_DEFAULT,&func,NULL);
- H5Eset_auto2(H5E_DEFAULT, NULL, NULL);
-
- h5_fixname(FILENAME[2], fapl, name, sizeof name);
- /* No need to clear the status_flags because this file is not flushed in flush1.c */
- /* H5Fopen() in check_file() will just return error */
- if(check_file(name, fapl, FALSE))
- PASSED()
- else {
+ /* Turn the error stack off (failures expected) */
+ if(H5Eget_auto2(H5E_DEFAULT, &func, NULL) < 0)
+ FAIL_STACK_ERROR
+ if(H5Eset_auto2(H5E_DEFAULT, NULL, NULL) < 0)
+ FAIL_STACK_ERROR
+ h5_fixname(FILENAME[2], fapl_id, filename, sizeof(filename));
+ check_second_dset = FALSE;
+ if(file_ok(filename, fapl_id, check_second_dset)) {
#if defined H5_HAVE_WIN32_API && !defined (hdf5_EXPORTS)
SKIPPED();
- puts(" DLL will flush the file even when calling _exit, skip this test temporarily");
+ HDputs(" the DLL will flush the file even when calling _exit, skip this test temporarily");
#else
- H5_FAILED()
- goto error;
+ TEST_ERROR
#endif
- }
- H5Eset_auto2(H5E_DEFAULT, func, NULL);
+ } /* end if */
+ else
+ PASSED()
+ /* Turn the error stack back on */
+ if(H5Eset_auto2(H5E_DEFAULT, func, NULL) < 0)
+ FAIL_STACK_ERROR
- /* Check the case where the file was not flushed. This should give an error
- * so we turn off the error stack temporarily */
+ /* TEST 4 */
+ /* Check the case where the file was not flushed (w/SWMR) */
TESTING("H5Fflush (part2 without flush + SWMR)");
- H5Eget_auto2(H5E_DEFAULT,&func,NULL);
- H5Eset_auto2(H5E_DEFAULT, NULL, NULL);
-
- h5_fixname(FILENAME[3], fapl, name, sizeof name);
- /* No need to clear the status_flags because this file is not flushed in flush1.c */
- /* H5Fopen() in check_file() will just return error */
- if(check_file(name, fapl, FALSE))
- PASSED()
- else {
+ if(vfd_supports_swmr) {
+ /* Turn the error stack off (failures expected) */
+ if(H5Eget_auto2(H5E_DEFAULT, &func, NULL) < 0)
+ FAIL_STACK_ERROR
+ if(H5Eset_auto2(H5E_DEFAULT, NULL, NULL) < 0)
+ FAIL_STACK_ERROR
+ h5_fixname(FILENAME[3], fapl_id, filename, sizeof(filename));
+ check_second_dset = FALSE;
+ if(clear_status_flags(filename, fapl_id) < 0)
+ TEST_ERROR
+ if(file_ok(filename, fapl_id, check_second_dset)) {
#if defined H5_HAVE_WIN32_API && !defined (hdf5_EXPORTS)
- SKIPPED();
- puts(" DLL will flush the file even when calling _exit, skip this test temporarily");
+ SKIPPED();
+ HDputs(" the DLL will flush the file even when calling _exit, skip this test temporarily");
#else
- H5_FAILED()
- goto error;
+ TEST_ERROR
#endif
- }
- H5Eset_auto2(H5E_DEFAULT, func, NULL);
+ } /* end if */
+ else
+ PASSED()
+ /* Turn the error stack back on */
+ if(H5Eset_auto2(H5E_DEFAULT, func, NULL) < 0)
+ FAIL_STACK_ERROR
+ } /* end if */
+ else
+ SKIPPED()
- /* Check the case where the file was flushed, but more data was added afterward. This should give an error
- * so we turn off the error stack temporarily */
+ /* TEST 5 */
+ /* Check the case where the file was flushed, but more data was
+ * added afterward and then flushed
+ */
TESTING("H5Fflush (part2 with flush and later addition and another flush)");
- H5Eget_auto2(H5E_DEFAULT,&func,NULL);
- H5Eset_auto2(H5E_DEFAULT, NULL, NULL);
-
- h5_fixname(FILENAME[4], fapl, name, sizeof name);
-
- /* Clear the status_flags of the file which is flushed and exited in flush1.c */
- if(clear_status_flags(name, fapl) < 0) {
- H5_FAILED()
- goto error;
- }
-
- if(check_file(name, fapl, TRUE)) {
- H5_FAILED()
- goto error;
- }
+ check_second_dset = TRUE;
+ h5_fixname(FILENAME[4], fapl_id, filename, sizeof(filename));
+ if(file_ok(filename, fapl_id, check_second_dset))
+ PASSED()
else
- PASSED();
-
- H5Eset_auto2(H5E_DEFAULT, func, NULL);
+ TEST_ERROR
- /* Check the case where the file was flushed, but more data was added afterward. This should give an error
- * so we turn off the error stack temporarily */
+ /* TEST 6 */
+ /* Check the case where the file was flushed, but more data was
+ * added afterward and then flushed (w/SWMR)
+ */
TESTING("H5Fflush (part2 with flush and later addition and another flush + SWMR)");
- H5Eget_auto2(H5E_DEFAULT,&func,NULL);
- H5Eset_auto2(H5E_DEFAULT, NULL, NULL);
-
- h5_fixname(FILENAME[5], fapl, name, sizeof name);
-
- if(check_file(name, fapl, TRUE))
- PASSED()
- else {
-#if defined H5_HAVE_WIN32_API && !defined (hdf5_EXPORTS)
- SKIPPED();
- puts(" DLL will flush the file even when calling _exit, skip this test temporarily");
-#else
- H5_FAILED()
- goto error;
-#endif
- }
-
- H5Eset_auto2(H5E_DEFAULT, func, NULL);
+ if(vfd_supports_swmr) {
+ check_second_dset = TRUE;
+ h5_fixname(FILENAME[5], fapl_id, filename, sizeof(filename));
+ if(clear_status_flags(filename, fapl_id) < 0)
+ TEST_ERROR
+ if(file_ok(filename, fapl_id, check_second_dset))
+ PASSED()
+ else
+ TEST_ERROR
+ } /* end if */
+ else
+ SKIPPED()
- /* Check the case where the file was flushed, but more data was added afterward. This should give an error
- * so we turn off the error stack temporarily */
+ /* TEST 7 */
+ /* Check the case where the file was flushed, but more data was added
+ * afterward and not flushed.
+ */
TESTING("H5Fflush (part2 with flush and later addition)");
- H5Eget_auto2(H5E_DEFAULT,&func,NULL);
- H5Eset_auto2(H5E_DEFAULT, NULL, NULL);
-
- h5_fixname(FILENAME[6], fapl, name, sizeof name);
-
- if(check_file(name, fapl, TRUE))
- PASSED()
- else {
+ /* Turn the error stack off (failures expected) */
+ if(H5Eget_auto2(H5E_DEFAULT, &func, NULL) < 0)
+ FAIL_STACK_ERROR
+ if(H5Eset_auto2(H5E_DEFAULT, NULL, NULL) < 0)
+ FAIL_STACK_ERROR
+ h5_fixname(FILENAME[6], fapl_id, filename, sizeof(filename));
+ check_second_dset = TRUE;
+ if(file_ok(filename, fapl_id, check_second_dset)) {
#if defined H5_HAVE_WIN32_API && !defined (hdf5_EXPORTS)
- SKIPPED();
- puts(" DLL will flush the file even when calling _exit, skip this test temporarily");
+ SKIPPED()
+ HDputs(" the DLL will flush the file even when calling _exit, skip this test temporarily");
#else
- H5_FAILED()
- goto error;
+ TEST_ERROR
#endif
- }
-
- H5Eset_auto2(H5E_DEFAULT, func, NULL);
-
- /* Check the case where the file was flushed, but more data was added afterward. This should give an error
- * so we turn off the error stack temporarily */
- TESTING("H5Fflush (part2 with flush and later addition + SWMR)");
- H5Eget_auto2(H5E_DEFAULT,&func,NULL);
- H5Eset_auto2(H5E_DEFAULT, NULL, NULL);
-
- h5_fixname(FILENAME[7], fapl, name, sizeof name);
-
- if(check_file(name, fapl, TRUE))
+ } /* end if */
+ else
PASSED()
- else {
+ /* Turn the error stack back on */
+ if(H5Eset_auto2(H5E_DEFAULT, func, NULL) < 0)
+ FAIL_STACK_ERROR
+
+ /* TEST 8 */
+ /* Check the case where the file was flushed, but more data was added
+ * afterward and not flushed (w/ SWMR).
+ */
+ TESTING("H5Fflush (part2 with flush and later addition + SWMR)");
+ if(vfd_supports_swmr) {
+ /* Turn the error stack off (failures expected) */
+ if(H5Eget_auto2(H5E_DEFAULT, &func, NULL) < 0)
+ FAIL_STACK_ERROR
+ if(H5Eset_auto2(H5E_DEFAULT, NULL, NULL) < 0)
+ FAIL_STACK_ERROR
+ h5_fixname(FILENAME[7], fapl_id, filename, sizeof(filename));
+ check_second_dset = TRUE;
+ if(clear_status_flags(filename, fapl_id) < 0)
+ TEST_ERROR
+ if(file_ok(filename, fapl_id, check_second_dset)) {
#if defined H5_HAVE_WIN32_API && !defined (hdf5_EXPORTS)
- SKIPPED();
- puts(" DLL will flush the file even when calling _exit, skip this test temporarily");
+ SKIPPED();
+ HDputs(" the DLL will flush the file even when calling _exit, skip this test temporarily");
#else
- H5_FAILED()
- goto error;
+ TEST_ERROR
#endif
- }
+ } /* end if */
+ else
+ PASSED();
+ /* Turn the error stack back on */
+ if(H5Eset_auto2(H5E_DEFAULT, func, NULL) < 0)
+ FAIL_STACK_ERROR
+ } /* end if */
+ else
+ SKIPPED()
- H5Eset_auto2(H5E_DEFAULT, func, NULL);
+ if(!vfd_supports_swmr)
+ HDprintf("NOTE: Some tests were skipped since the current VFD lacks SWMR support\n");
- h5_cleanup(FILENAME, fapl);
+ h5_cleanup(FILENAME, fapl_id);
- return 0;
+ HDexit(EXIT_SUCCESS);
error:
- return 1;
-}
+ HDexit(EXIT_FAILURE);
+} /* end main() */