Completed tests for casting.c