Yentl Van Tendeloo 0b9d58e6d3 Fixed the check_symbols as a pre-compiled function 9 lat temu
..
HUTN 0b9d58e6d3 Fixed the check_symbols as a pre-compiled function 9 lat temu