better export, aand terminate() of platon