error(permission_error(modify, static_procedure), /(atom, 1))