created issue #5127. Not sure which is better or easier (embedded version, or external version).