Portal solutions

Portal was solved using C by 2 contestants. Solution sizes: average 3311 bytes (shortest: 2238; longest: 4385).