[#15] unexported