The system wrapper (to be used with AIDE)