intermediate state format editors (gui)