rAmks: Synthesis