Straight MLP with Sound Compilation