$search

wps_defs.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Defines

#define WPS_AUTH_OPEN   0x0001
#define WPS_AUTH_SHARED   0x0004
#define WPS_AUTH_TYPES
#define WPS_AUTH_WPA   0x0008
#define WPS_AUTH_WPA2   0x0010
#define WPS_AUTH_WPA2PSK   0x0020
#define WPS_AUTH_WPAPSK   0x0002
#define WPS_AUTHENTICATOR_LEN   8
#define WPS_AUTHKEY_LEN   32
#define WPS_CONFIG_DISPLAY   0x0008
#define WPS_CONFIG_ETHERNET   0x0002
#define WPS_CONFIG_EXT_NFC_TOKEN   0x0010
#define WPS_CONFIG_INT_NFC_TOKEN   0x0020
#define WPS_CONFIG_KEYPAD   0x0100
#define WPS_CONFIG_LABEL   0x0004
#define WPS_CONFIG_NFC_INTERFACE   0x0040
#define WPS_CONFIG_PUSHBUTTON   0x0080
#define WPS_CONFIG_USBA   0x0001
#define WPS_CONN_ESS   0x01
#define WPS_CONN_IBSS   0x02
#define WPS_DEV_OUI_WFA   0x0050f204
#define WPS_DH_GROUP   5
#define WPS_EMSK_LEN   32
#define WPS_ENCR_AES   0x0008
#define WPS_ENCR_NONE   0x0001
#define WPS_ENCR_TKIP   0x0004
#define WPS_ENCR_TYPES
#define WPS_ENCR_WEP   0x0002
#define WPS_HASH_LEN   32
#define WPS_KEYWRAPKEY_LEN   16
#define WPS_KWA_LEN   8
#define WPS_MGMT_KEY_ID_LEN   16
#define WPS_MGMTAUTHKEY_LEN   32
#define WPS_MGMTENCKEY_LEN   16
#define WPS_NONCE_LEN   16
#define WPS_OOB_DEVICE_PASSWORD_ATTR_LEN   54
#define WPS_OOB_DEVICE_PASSWORD_LEN   32
#define WPS_OOB_PUBKEY_HASH_LEN   20
#define WPS_PBC_WALK_TIME   120
#define WPS_PSK_LEN   16
#define WPS_RF_24GHZ   0x01
#define WPS_RF_50GHZ   0x02
#define WPS_SECRET_NONCE_LEN   16
#define WPS_UUID_LEN   16
#define WPS_VERSION   0x10

Enumerations

enum  wps_assoc_state {
  WPS_ASSOC_NOT_ASSOC = 0, WPS_ASSOC_CONN_SUCCESS = 1, WPS_ASSOC_CFG_FAILURE = 2, WPS_ASSOC_FAILURE = 3,
  WPS_ASSOC_IP_FAILURE = 4
}
enum  wps_attribute {
  ATTR_AP_CHANNEL = 0x1001, ATTR_ASSOC_STATE = 0x1002, ATTR_AUTH_TYPE = 0x1003, ATTR_AUTH_TYPE_FLAGS = 0x1004,
  ATTR_AUTHENTICATOR = 0x1005, ATTR_CONFIG_METHODS = 0x1008, ATTR_CONFIG_ERROR = 0x1009, ATTR_CONFIRM_URL4 = 0x100a,
  ATTR_CONFIRM_URL6 = 0x100b, ATTR_CONN_TYPE = 0x100c, ATTR_CONN_TYPE_FLAGS = 0x100d, ATTR_CRED = 0x100e,
  ATTR_ENCR_TYPE = 0x100f, ATTR_ENCR_TYPE_FLAGS = 0x1010, ATTR_DEV_NAME = 0x1011, ATTR_DEV_PASSWORD_ID = 0x1012,
  ATTR_E_HASH1 = 0x1014, ATTR_E_HASH2 = 0x1015, ATTR_E_SNONCE1 = 0x1016, ATTR_E_SNONCE2 = 0x1017,
  ATTR_ENCR_SETTINGS = 0x1018, ATTR_ENROLLEE_NONCE = 0x101a, ATTR_FEATURE_ID = 0x101b, ATTR_IDENTITY = 0x101c,
  ATTR_IDENTITY_PROOF = 0x101d, ATTR_KEY_WRAP_AUTH = 0x101e, ATTR_KEY_ID = 0x101f, ATTR_MAC_ADDR = 0x1020,
  ATTR_MANUFACTURER = 0x1021, ATTR_MSG_TYPE = 0x1022, ATTR_MODEL_NAME = 0x1023, ATTR_MODEL_NUMBER = 0x1024,
  ATTR_NETWORK_INDEX = 0x1026, ATTR_NETWORK_KEY = 0x1027, ATTR_NETWORK_KEY_INDEX = 0x1028, ATTR_NEW_DEVICE_NAME = 0x1029,
  ATTR_NEW_PASSWORD = 0x102a, ATTR_OOB_DEVICE_PASSWORD = 0x102c, ATTR_OS_VERSION = 0x102d, ATTR_POWER_LEVEL = 0x102f,
  ATTR_PSK_CURRENT = 0x1030, ATTR_PSK_MAX = 0x1031, ATTR_PUBLIC_KEY = 0x1032, ATTR_RADIO_ENABLE = 0x1033,
  ATTR_REBOOT = 0x1034, ATTR_REGISTRAR_CURRENT = 0x1035, ATTR_REGISTRAR_ESTABLISHED = 0x1036, ATTR_REGISTRAR_LIST = 0x1037,
  ATTR_REGISTRAR_MAX = 0x1038, ATTR_REGISTRAR_NONCE = 0x1039, ATTR_REQUEST_TYPE = 0x103a, ATTR_RESPONSE_TYPE = 0x103b,
  ATTR_RF_BANDS = 0x103c, ATTR_R_HASH1 = 0x103d, ATTR_R_HASH2 = 0x103e, ATTR_R_SNONCE1 = 0x103f,
  ATTR_R_SNONCE2 = 0x1040, ATTR_SELECTED_REGISTRAR = 0x1041, ATTR_SERIAL_NUMBER = 0x1042, ATTR_WPS_STATE = 0x1044,
  ATTR_SSID = 0x1045, ATTR_TOTAL_NETWORKS = 0x1046, ATTR_UUID_E = 0x1047, ATTR_UUID_R = 0x1048,
  ATTR_VENDOR_EXT = 0x1049, ATTR_VERSION = 0x104a, ATTR_X509_CERT_REQ = 0x104b, ATTR_X509_CERT = 0x104c,
  ATTR_EAP_IDENTITY = 0x104d, ATTR_MSG_COUNTER = 0x104e, ATTR_PUBKEY_HASH = 0x104f, ATTR_REKEY_KEY = 0x1050,
  ATTR_KEY_LIFETIME = 0x1051, ATTR_PERMITTED_CFG_METHODS = 0x1052, ATTR_SELECTED_REGISTRAR_CONFIG_METHODS = 0x1053, ATTR_PRIMARY_DEV_TYPE = 0x1054,
  ATTR_SECONDARY_DEV_TYP_ELIST = 0x1055, ATTR_PORTABLE_DEV = 0x1056, ATTR_AP_SETUP_LOCKED = 0x1057, ATTR_APPLICATION_EXT = 0x1058,
  ATTR_EAP_TYPE = 0x1059, ATTR_IV = 0x1060, ATTR_KEY_PROVIDED_AUTO = 0x1061, ATTR_802_1X_ENABLED = 0x1062,
  ATTR_APPSESSIONKEY = 0x1063, ATTR_WEPTRANSMITKEY = 0x1064
}
enum  wps_config_error {
  WPS_CFG_NO_ERROR = 0, WPS_CFG_OOB_IFACE_READ_ERROR = 1, WPS_CFG_DECRYPTION_CRC_FAILURE = 2, WPS_CFG_24_CHAN_NOT_SUPPORTED = 3,
  WPS_CFG_50_CHAN_NOT_SUPPORTED = 4, WPS_CFG_SIGNAL_TOO_WEAK = 5, WPS_CFG_NETWORK_AUTH_FAILURE = 6, WPS_CFG_NETWORK_ASSOC_FAILURE = 7,
  WPS_CFG_NO_DHCP_RESPONSE = 8, WPS_CFG_FAILED_DHCP_CONFIG = 9, WPS_CFG_IP_ADDR_CONFLICT = 10, WPS_CFG_NO_CONN_TO_REGISTRAR = 11,
  WPS_CFG_MULTIPLE_PBC_DETECTED = 12, WPS_CFG_ROGUE_SUSPECTED = 13, WPS_CFG_DEVICE_BUSY = 14, WPS_CFG_SETUP_LOCKED = 15,
  WPS_CFG_MSG_TIMEOUT = 16, WPS_CFG_REG_SESS_TIMEOUT = 17, WPS_CFG_DEV_PASSWORD_AUTH_FAILURE = 18
}
enum  wps_dev_categ {
  WPS_DEV_COMPUTER = 1, WPS_DEV_INPUT = 2, WPS_DEV_PRINTER = 3, WPS_DEV_CAMERA = 4,
  WPS_DEV_STORAGE = 5, WPS_DEV_NETWORK_INFRA = 6, WPS_DEV_DISPLAY = 7, WPS_DEV_MULTIMEDIA = 8,
  WPS_DEV_GAMING = 9, WPS_DEV_PHONE = 10
}
enum  wps_dev_password_id {
  DEV_PW_DEFAULT = 0x0000, DEV_PW_USER_SPECIFIED = 0x0001, DEV_PW_MACHINE_SPECIFIED = 0x0002, DEV_PW_REKEY = 0x0003,
  DEV_PW_PUSHBUTTON = 0x0004, DEV_PW_REGISTRAR_SPECIFIED = 0x0005
}
enum  wps_dev_subcateg {
  WPS_DEV_COMPUTER_PC = 1, WPS_DEV_COMPUTER_SERVER = 2, WPS_DEV_COMPUTER_MEDIA_CENTER = 3, WPS_DEV_PRINTER_PRINTER = 1,
  WPS_DEV_PRINTER_SCANNER = 2, WPS_DEV_CAMERA_DIGITAL_STILL_CAMERA = 1, WPS_DEV_STORAGE_NAS = 1, WPS_DEV_NETWORK_INFRA_AP = 1,
  WPS_DEV_NETWORK_INFRA_ROUTER = 2, WPS_DEV_NETWORK_INFRA_SWITCH = 3, WPS_DEV_DISPLAY_TV = 1, WPS_DEV_DISPLAY_PICTURE_FRAME = 2,
  WPS_DEV_DISPLAY_PROJECTOR = 3, WPS_DEV_MULTIMEDIA_DAR = 1, WPS_DEV_MULTIMEDIA_PVR = 2, WPS_DEV_MULTIMEDIA_MCX = 3,
  WPS_DEV_GAMING_XBOX = 1, WPS_DEV_GAMING_XBOX360 = 2, WPS_DEV_GAMING_PLAYSTATION = 3, WPS_DEV_PHONE_WINDOWS_MOBILE = 1
}
enum  wps_msg_type {
  WPS_Beacon = 0x01, WPS_ProbeRequest = 0x02, WPS_ProbeResponse = 0x03, WPS_M1 = 0x04,
  WPS_M2 = 0x05, WPS_M2D = 0x06, WPS_M3 = 0x07, WPS_M4 = 0x08,
  WPS_M5 = 0x09, WPS_M6 = 0x0a, WPS_M7 = 0x0b, WPS_M8 = 0x0c,
  WPS_WSC_ACK = 0x0d, WPS_WSC_NACK = 0x0e, WPS_WSC_DONE = 0x0f
}
enum  wps_request_type { WPS_REQ_ENROLLEE_INFO = 0, WPS_REQ_ENROLLEE = 1, WPS_REQ_REGISTRAR = 2, WPS_REQ_WLAN_MANAGER_REGISTRAR = 3 }
enum  wps_response_type { WPS_RESP_ENROLLEE_INFO = 0, WPS_RESP_ENROLLEE = 1, WPS_RESP_REGISTRAR = 2, WPS_RESP_AP = 3 }
enum  wps_state { WPS_STATE_NOT_CONFIGURED = 1, WPS_STATE_CONFIGURED = 2 }

Define Documentation

#define WPS_AUTH_OPEN   0x0001

Definition at line 160 of file wps_defs.h.

#define WPS_AUTH_SHARED   0x0004

Definition at line 162 of file wps_defs.h.

#define WPS_AUTH_TYPES
#define WPS_AUTH_WPA   0x0008

Definition at line 163 of file wps_defs.h.

#define WPS_AUTH_WPA2   0x0010

Definition at line 164 of file wps_defs.h.

#define WPS_AUTH_WPA2PSK   0x0020

Definition at line 165 of file wps_defs.h.

#define WPS_AUTH_WPAPSK   0x0002

Definition at line 161 of file wps_defs.h.

#define WPS_AUTHENTICATOR_LEN   8

Definition at line 25 of file wps_defs.h.

#define WPS_AUTHKEY_LEN   32

Definition at line 26 of file wps_defs.h.

#define WPS_CONFIG_DISPLAY   0x0008

Definition at line 208 of file wps_defs.h.

#define WPS_CONFIG_ETHERNET   0x0002

Definition at line 206 of file wps_defs.h.

#define WPS_CONFIG_EXT_NFC_TOKEN   0x0010

Definition at line 209 of file wps_defs.h.

#define WPS_CONFIG_INT_NFC_TOKEN   0x0020

Definition at line 210 of file wps_defs.h.

#define WPS_CONFIG_KEYPAD   0x0100

Definition at line 213 of file wps_defs.h.

#define WPS_CONFIG_LABEL   0x0004

Definition at line 207 of file wps_defs.h.

#define WPS_CONFIG_NFC_INTERFACE   0x0040

Definition at line 211 of file wps_defs.h.

#define WPS_CONFIG_PUSHBUTTON   0x0080

Definition at line 212 of file wps_defs.h.

#define WPS_CONFIG_USBA   0x0001

Definition at line 205 of file wps_defs.h.

#define WPS_CONN_ESS   0x01

Definition at line 216 of file wps_defs.h.

#define WPS_CONN_IBSS   0x02

Definition at line 217 of file wps_defs.h.

#define WPS_DEV_OUI_WFA   0x0050f204

Definition at line 235 of file wps_defs.h.

#define WPS_DH_GROUP   5

Definition at line 21 of file wps_defs.h.

#define WPS_EMSK_LEN   32

Definition at line 28 of file wps_defs.h.

#define WPS_ENCR_AES   0x0008

Definition at line 173 of file wps_defs.h.

#define WPS_ENCR_NONE   0x0001

Definition at line 170 of file wps_defs.h.

#define WPS_ENCR_TKIP   0x0004

Definition at line 172 of file wps_defs.h.

#define WPS_ENCR_TYPES
Value:

Definition at line 174 of file wps_defs.h.

#define WPS_ENCR_WEP   0x0002

Definition at line 171 of file wps_defs.h.

#define WPS_HASH_LEN   32

Definition at line 31 of file wps_defs.h.

#define WPS_KEYWRAPKEY_LEN   16

Definition at line 27 of file wps_defs.h.

#define WPS_KWA_LEN   8

Definition at line 32 of file wps_defs.h.

#define WPS_MGMT_KEY_ID_LEN   16

Definition at line 35 of file wps_defs.h.

#define WPS_MGMTAUTHKEY_LEN   32

Definition at line 33 of file wps_defs.h.

#define WPS_MGMTENCKEY_LEN   16

Definition at line 34 of file wps_defs.h.

#define WPS_NONCE_LEN   16

Definition at line 24 of file wps_defs.h.

#define WPS_OOB_DEVICE_PASSWORD_ATTR_LEN   54

Definition at line 36 of file wps_defs.h.

#define WPS_OOB_DEVICE_PASSWORD_LEN   32

Definition at line 37 of file wps_defs.h.

#define WPS_OOB_PUBKEY_HASH_LEN   20

Definition at line 38 of file wps_defs.h.

#define WPS_PBC_WALK_TIME   120

Definition at line 291 of file wps_defs.h.

#define WPS_PSK_LEN   16

Definition at line 29 of file wps_defs.h.

#define WPS_RF_24GHZ   0x01

Definition at line 201 of file wps_defs.h.

#define WPS_RF_50GHZ   0x02

Definition at line 202 of file wps_defs.h.

#define WPS_SECRET_NONCE_LEN   16

Definition at line 30 of file wps_defs.h.

#define WPS_UUID_LEN   16

Definition at line 23 of file wps_defs.h.

#define WPS_VERSION   0x10

Definition at line 18 of file wps_defs.h.


Enumeration Type Documentation

Enumerator:
WPS_ASSOC_NOT_ASSOC 
WPS_ASSOC_CONN_SUCCESS 
WPS_ASSOC_CFG_FAILURE 
WPS_ASSOC_FAILURE 
WPS_ASSOC_IP_FAILURE 

Definition at line 226 of file wps_defs.h.

Enumerator:
ATTR_AP_CHANNEL 
ATTR_ASSOC_STATE 
ATTR_AUTH_TYPE 
ATTR_AUTH_TYPE_FLAGS 
ATTR_AUTHENTICATOR 
ATTR_CONFIG_METHODS 
ATTR_CONFIG_ERROR 
ATTR_CONFIRM_URL4 
ATTR_CONFIRM_URL6 
ATTR_CONN_TYPE 
ATTR_CONN_TYPE_FLAGS 
ATTR_CRED 
ATTR_ENCR_TYPE 
ATTR_ENCR_TYPE_FLAGS 
ATTR_DEV_NAME 
ATTR_DEV_PASSWORD_ID 
ATTR_E_HASH1 
ATTR_E_HASH2 
ATTR_E_SNONCE1 
ATTR_E_SNONCE2 
ATTR_ENCR_SETTINGS 
ATTR_ENROLLEE_NONCE 
ATTR_FEATURE_ID 
ATTR_IDENTITY 
ATTR_IDENTITY_PROOF 
ATTR_KEY_WRAP_AUTH 
ATTR_KEY_ID 
ATTR_MAC_ADDR 
ATTR_MANUFACTURER 
ATTR_MSG_TYPE 
ATTR_MODEL_NAME 
ATTR_MODEL_NUMBER 
ATTR_NETWORK_INDEX 
ATTR_NETWORK_KEY 
ATTR_NETWORK_KEY_INDEX 
ATTR_NEW_DEVICE_NAME 
ATTR_NEW_PASSWORD 
ATTR_OOB_DEVICE_PASSWORD 
ATTR_OS_VERSION 
ATTR_POWER_LEVEL 
ATTR_PSK_CURRENT 
ATTR_PSK_MAX 
ATTR_PUBLIC_KEY 
ATTR_RADIO_ENABLE 
ATTR_REBOOT 
ATTR_REGISTRAR_CURRENT 
ATTR_REGISTRAR_ESTABLISHED 
ATTR_REGISTRAR_LIST 
ATTR_REGISTRAR_MAX 
ATTR_REGISTRAR_NONCE 
ATTR_REQUEST_TYPE 
ATTR_RESPONSE_TYPE 
ATTR_RF_BANDS 
ATTR_R_HASH1 
ATTR_R_HASH2 
ATTR_R_SNONCE1 
ATTR_R_SNONCE2 
ATTR_SELECTED_REGISTRAR 
ATTR_SERIAL_NUMBER 
ATTR_WPS_STATE 
ATTR_SSID 
ATTR_TOTAL_NETWORKS 
ATTR_UUID_E 
ATTR_UUID_R 
ATTR_VENDOR_EXT 
ATTR_VERSION 
ATTR_X509_CERT_REQ 
ATTR_X509_CERT 
ATTR_EAP_IDENTITY 
ATTR_MSG_COUNTER 
ATTR_PUBKEY_HASH 
ATTR_REKEY_KEY 
ATTR_KEY_LIFETIME 
ATTR_PERMITTED_CFG_METHODS 
ATTR_SELECTED_REGISTRAR_CONFIG_METHODS 
ATTR_PRIMARY_DEV_TYPE 
ATTR_SECONDARY_DEV_TYP_ELIST 
ATTR_PORTABLE_DEV 
ATTR_AP_SETUP_LOCKED 
ATTR_APPLICATION_EXT 
ATTR_EAP_TYPE 
ATTR_IV 
ATTR_KEY_PROVIDED_AUTO 
ATTR_802_1X_ENABLED 
ATTR_APPSESSIONKEY 
ATTR_WEPTRANSMITKEY 

Definition at line 41 of file wps_defs.h.

Enumerator:
WPS_CFG_NO_ERROR 
WPS_CFG_OOB_IFACE_READ_ERROR 
WPS_CFG_DECRYPTION_CRC_FAILURE 
WPS_CFG_24_CHAN_NOT_SUPPORTED 
WPS_CFG_50_CHAN_NOT_SUPPORTED 
WPS_CFG_SIGNAL_TOO_WEAK 
WPS_CFG_NETWORK_AUTH_FAILURE 
WPS_CFG_NETWORK_ASSOC_FAILURE 
WPS_CFG_NO_DHCP_RESPONSE 
WPS_CFG_FAILED_DHCP_CONFIG 
WPS_CFG_IP_ADDR_CONFLICT 
WPS_CFG_NO_CONN_TO_REGISTRAR 
WPS_CFG_MULTIPLE_PBC_DETECTED 
WPS_CFG_ROGUE_SUSPECTED 
WPS_CFG_DEVICE_BUSY 
WPS_CFG_SETUP_LOCKED 
WPS_CFG_MSG_TIMEOUT 
WPS_CFG_REG_SESS_TIMEOUT 
WPS_CFG_DEV_PASSWORD_AUTH_FAILURE 

Definition at line 178 of file wps_defs.h.

Enumerator:
WPS_DEV_COMPUTER 
WPS_DEV_INPUT 
WPS_DEV_PRINTER 
WPS_DEV_CAMERA 
WPS_DEV_STORAGE 
WPS_DEV_NETWORK_INFRA 
WPS_DEV_DISPLAY 
WPS_DEV_MULTIMEDIA 
WPS_DEV_GAMING 
WPS_DEV_PHONE 

Definition at line 237 of file wps_defs.h.

Enumerator:
DEV_PW_DEFAULT 
DEV_PW_USER_SPECIFIED 
DEV_PW_MACHINE_SPECIFIED 
DEV_PW_REKEY 
DEV_PW_PUSHBUTTON 
DEV_PW_REGISTRAR_SPECIFIED 

Definition at line 131 of file wps_defs.h.

Enumerator:
WPS_DEV_COMPUTER_PC 
WPS_DEV_COMPUTER_SERVER 
WPS_DEV_COMPUTER_MEDIA_CENTER 
WPS_DEV_PRINTER_PRINTER 
WPS_DEV_PRINTER_SCANNER 
WPS_DEV_CAMERA_DIGITAL_STILL_CAMERA 
WPS_DEV_STORAGE_NAS 
WPS_DEV_NETWORK_INFRA_AP 
WPS_DEV_NETWORK_INFRA_ROUTER 
WPS_DEV_NETWORK_INFRA_SWITCH 
WPS_DEV_DISPLAY_TV 
WPS_DEV_DISPLAY_PICTURE_FRAME 
WPS_DEV_DISPLAY_PROJECTOR 
WPS_DEV_MULTIMEDIA_DAR 
WPS_DEV_MULTIMEDIA_PVR 
WPS_DEV_MULTIMEDIA_MCX 
WPS_DEV_GAMING_XBOX 
WPS_DEV_GAMING_XBOX360 
WPS_DEV_GAMING_PLAYSTATION 
WPS_DEV_PHONE_WINDOWS_MOBILE 

Definition at line 250 of file wps_defs.h.

Enumerator:
WPS_Beacon 
WPS_ProbeRequest 
WPS_ProbeResponse 
WPS_M1 
WPS_M2 
WPS_M2D 
WPS_M3 
WPS_M4 
WPS_M5 
WPS_M6 
WPS_M7 
WPS_M8 
WPS_WSC_ACK 
WPS_WSC_NACK 
WPS_WSC_DONE 

Definition at line 141 of file wps_defs.h.

Enumerator:
WPS_REQ_ENROLLEE_INFO 
WPS_REQ_ENROLLEE 
WPS_REQ_REGISTRAR 
WPS_REQ_WLAN_MANAGER_REGISTRAR 

Definition at line 275 of file wps_defs.h.

Enumerator:
WPS_RESP_ENROLLEE_INFO 
WPS_RESP_ENROLLEE 
WPS_RESP_REGISTRAR 
WPS_RESP_AP 

Definition at line 283 of file wps_defs.h.

enum wps_state
Enumerator:
WPS_STATE_NOT_CONFIGURED 
WPS_STATE_CONFIGURED 

Definition at line 220 of file wps_defs.h.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Properties Friends Defines


wpa_supplicant_node
Author(s): Package maintained by Blaise Gassend
autogenerated on Fri Mar 1 16:00:51 2013