Yes, the same way that if these top level variables were defined in the ENC