tinycc (TINYCC) - Pump