hacking external target boundary checking (Python -> C)
verification of target inner parts (C code)
checking unique target corners (now it is hopefully identical to Python code)