Describe the bug
Lucky, really, since #49 is a legitimate UBSan error. But even though UBSan reports the error, the CI build on github still succeeds. Likely a problem with our build scripts.
Expected behavior
The build should fail.
Obviously we need to fix or exclude #49 first.
