@rm_malloc_cast@
expression x, n;
type T;
@@
  x =
- (T *)
  mbedtls_malloc(n)