{Definitions for IsITeX: new(p) must be translated in p := malloc(sizeof(^p)),
  so we have to define malloc and sizeof for web2c.}

@define function malloc ();
@define function sizeof ();