specify no_return