| Name | Owner | Permissions |
|---|---|---|
| . | switchle | drwxr-xr-x |
| .. | switchle | drwxr-xr-x |
| Checker.php | switchle | drwxr-xr-x |
| CheckerBase.php | switchle | drwxr-xr-x |
| Interpreter.php | switchle | drwxr-xr-x |
| InterpreterInterface.php | switchle | drwxr-xr-x |
| Number.php | switchle | drwxr-xr-x |
| Stack.php | switchle | drwxr-xr-x |
| StackInterface.php | switchle | drwxr-xr-x |