error(existence_error(procedure), /(absent, 2))