rop_literal str = [LiteralCommand str] == fromRight (p $
    magic ++ [chr 0x41, chr $ length str] ++ str ++ "\0")

prop_literal str = [LiteralCommand str] == fromRight (p $
    magic ++ [chr 0x41, chr $ length str] ++ str ++ "\0")
prop_literal str = [LiteralCommand str] == fromRight (p $
    magic ++ [chr 0x41, chr $ length str] ++ str ++ "\0")