@require(extern) extern @extern