1@rm_calloc_cast@
2expression x, n, m;
3type T;
4@@
5  x =
6- (T *)
7  mbedtls_calloc(n, m)
8