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_Recieve(int connId) string {} def ws_RecieveTimeout(int connId, int timeout) string {} def ws_Close(int connId) bool {} ground { extern "request" }