What do you call a "user-level" function exactly ? And why such a function get a verbose argument ?