[PATCH] propagate __nocast annotations