strongly typed code