The implementation for these modules is defined inline.