tools/convert fleshed out