sectionGet :: SectionId -> SectionFlag -> Exp Bool
sectionGet sec flag = do
    v <- var
    emit $ SectionGetFlags sec v
    let b = bit $ fromEnum flag :: Exp Int
    b %== (return (Value $ val v) .&. b)
sectionGet :: SectionId -> SectionFlag -> Exp Bool
sectionGet sec flag = do
    v <- var
    emit $ SectionGetFlags sec v
    let b = bit $ fromEnum flag :: Exp Int
    b %== (return (Value $ val v) .&. b)
sectionGet sec flag = do
    v <- var
    emit $ SectionGetFlags sec v
    let b = bit $ fromEnum flag :: Exp Int
    b %== (return (Value $ val v) .&. b)