powered by
elaborator_server - Server Part of the elaborator application
elaborator_server(input, output, session)