Documenting make_inline() functions