Structs

Ensures a is made equal to b. Returns a on success.