picl_shutdown
(void) picl_shutdown();
(void) picl_shutdown();
if (picl_shutdown() != PICL_SUCCESS) {
extern int picl_shutdown(void);
(void) picl_shutdown();
(void) picl_shutdown();
(void) picl_shutdown();
(void) picl_shutdown();
(void) picl_shutdown();
(void) picl_shutdown();