Portal’s physics engine rebuilt in 25KB—on a graphing calculator