| 1617 | } |
| 1618 | |
| 1619 | context_t create_context(const char* context_name, int empty_context) |
| 1620 | { |
| 1621 | ExecContext* exec_context = new ExecContext(context_name, empty_context); |
| 1622 | |
| 1623 | return exec_context; |
| 1624 | } |
| 1625 | |
| 1626 | void destroy_context(context_t context) |
| 1627 | { |
no outgoing calls