WriteTerminal seems correct to my knowledge