Adapted high-level code