More permissive use of @extern without library so that the body is compiled but not directly executable.