error(permission_error(access, private_procedure), /(elk, 1))