beam-compiled-without-debuginfo
no-%check-section