#implicit-contract