[ 0:01] compiling /var/obj/divine-nightly/semidbg/test/_expand/bricks/sha2.bt/sha2_empty.sim_oom.cpp
[ 0:01] /var/obj/divine-nightly/semidbg/test/_expand/bricks/sha2.bt/sha2_empty.sim_oom.cpp:14:13: error: no member named 't_sha2' in namespace 'brick'
[ 0:02]      brick::t_sha2::Sha2().empty();
[ 0:02]      ~~~~~~~^
[ 0:02] 1 error generated.
[ 0:02] ERROR: Error building /var/obj/divine-nightly/semidbg/test/_expand/bricks/sha2.bt/sha2_empty.sim_oom.cpp