globals and types