Yes, compared to formal verification etc handcrafting seems much easier to do for most algorithm implementations.