const MAX_LOCALS: usize = 500;