compiled server code