state_file_descr_t
static state_file_descr_t script_ps_statefd;
static void open_state_file(const char *, state_file_descr_t *, size_t, int,
static void truncate_state_file(state_file_descr_t *);
static void close_state_file(const char *, state_file_descr_t *);
static void grow_state_file(state_file_descr_t *);
static void *get_state_element(state_file_descr_t *, int, int *);
static void *allocate_state_element(state_file_descr_t *, int *);
state_file_descr_t *statefd,
truncate_state_file(state_file_descr_t *statefd)
close_state_file(const char *filename, state_file_descr_t *statefd)
grow_state_file(state_file_descr_t *statefd)
get_state_element(state_file_descr_t *statefd, int index, int *flag)
allocate_state_element(state_file_descr_t *statefd, int *index)