Silly Little Belt Machine Implemented in RPython