void returns_unexpectedly() {}