Implemented: define several utility functions as static