typedef bool xsd__boolean; // encode xsd boolean value as the xsd:boolean schema type
typedef char *xsd__string; // encode xsd string value as the xsd:string schema type
typedef long xsd__int; // encode xsd int value as the xsd:int schema type
typedef float xsd__float; // encode xsd float value as the xsd:float schema type
typedef double xsd__double; // encode xsd double value as the xsd:double schema type

int ns__add(xsd__double a, xsd__double b, xsd__double &result);
int ns__sub(xsd__double a, xsd__double b, xsd__double &result);
int ns__square(xsd__double a, xsd__double &result);
int ns__certifyUser(xsd__string ID, xsd__string Password, xsd__string &result);	// ユーザ認証サービスの追加