Fixed PKCS padding formula