Some problems I ported to Python