parts of high-level interface