/*
Temporarily: no associated .expect file, not runnable with test.py.
For human acceptance: Should compile, but crash with an assertion failure when run.
Detail of this error reporting is work in progress.
*/

#define TRY_MOD_WHILE_LOCKED_1
#include "vector-demo.cfa"