Revert "ex: Fix mismatch between header and implementation"

This reverts commit 6129b286f065bd6e9d2deb7b0ee761e7f3abae26.