function asserts that fits_pointer returned true for the passed in value. This is an internal function introduced mainly for C marshallers.
true