added anonymous globals with mutability rules