--- name: Feature request about: Suggest a feature in 88os title: '' labels: '' assignees: '' --- **Is your feature request related to a problem? Please describe.** A clear and concise description of what the problem is. E.g., I find it difficult to use KLEE when [...]; I would find it very useful for 88os to [...] **Describe the solution you'd like** A clear and concise description of what you want to happen.