• operational semantics -- no extra compile/run-time checks

  procedure search(name, module)
  if name = action then do action
  elsif inherited = nil
  	       then undefined
  else search(name, inherited)