def request_Get(string url) string {} def request_Post(string url, string data) string {} def ws_Connect(string url) int {} def ws_Send(int connId, string data) int {} def ws_SendBinary(int connId, string data) int {} def ws_Receive(int connId) string {} def ws_ReceiveTimeout(int connId, int timeout) string {} def ws_Close(int connId) bool {} ground { extern "request" }