update to LAB4, now it at least synthesizes