(it's also the name of the ada primitive which also does the same thing)