Implement FIXME: pass different badnesses as functions