Ensured mjhowell lax solution compilable