/*
 * Date: October 2013
 * Author: Christian Schilling
 * 
 * '__SIZE_TYPE__' is not supported.
 */
extern void *malloc(__SIZE_TYPE__);

int main() {
    return 0;
}