[FOLD] de-inline