import python

from Value val, string name
where
  val = Value::named(name) and
  (
    name = "bool" or
    name = "sys" or
    name = "sys.argv" or
    name = "ValueError" or
    name = "slice"
  )
select val, name