Checkasm needs to use internal symbols that should not be made public.
Attach a file by drag & drop or click to upload
