Portal for TIC-80