এই পাঠটি: Synthesising graphics card programs from DSLs