Definition of generic function FBOUNDP.
Reordered definitions for improved readability.