int simplehal_supported(void); int simplehal_read(int battery, apm_info *info);