mpascheck works, only have errors in auto-recursions