how about using `system_symbols` here?