-- this module has a comment.
-- But it's not a doc comment!
--- A problem function.
-- @param p a parameter
function problem.fun(p)
return 42
end