Note: while this compiles and runs SDPTR, the translator is actually broken in this setup, see L2SDP-352.