Types in front added, some variations of programs