Mario’s lost coins (BRB)