Add missing file from 2e00b0dc
Do away with exceptions, use [state err]