cat /tmp/czk/extern/cuzk/cuzk-core/src/status.rs