Looks like it could be abstracted as calling a packed function…On the low-level you may use call_packed as demonstrated here; CC @yuchenj on the high-level IR
call_packed