while (!result.done) {
    debug("request received");
    let request = result.value;
    let response;
    switch (request.type) {