please include function postSoftwareMadeWeb.

static int websMadeInThread() {
  ret toInt(postSoftwareMadeWeb_websMadeInThread!);
}

static int websMadeInThread(Thread thread) {
  ret toInt(postSoftwareMadeWeb_websMadeInThread.get(thread));
}